Jari-Matti
Mäkelä
yliopisto-opettaja, ohjelmistotekniikka
MSc
Ota yhteyttä
Linkit
Julkaisut
Reducing the complexity of debugging parallel REPLICA programs with pluggable abstraction patterns (2013)
Swedish Workshop on Multicore Computing
(Muu (O2))
Hardware and Software Support for NUMA Computing on Configurable Emulated Shared Memory Architectures (2013)
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))Composable Hierarchical Synchronization Support for REPLICA (2013)
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))Synchronization property checking and inference in a lock-step synchronous parallel Replica language (2013)
Nordic Workshop on Programming Theory
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))
Design of the Language Replica for Hybrid PRAM-NUMA Many-core Architectures (2012)
International Symposium on Parallel and Distributed Processing with Applications
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))
Security Monitors for Java Programs with MPL (2012)
International Journal on Information Technologies and Security
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Preliminary Analysis of Feasible Benchmark Problems for the Hydrid PRAM/NUMA REPLICA Architecture (2012)
International Conference on Computer Systems and Technologies
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))
Design Principles of the Programming Language Replica for Hybrid PRAM-NUMA Many-Core Architectures (2011)
(Vertaisarvioimaton konferenssijulkaisu (B3))A RISC-Based Moving Tiny Threads Architecture (2011)
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))RISC-Based Moving Threads Multicore Architecture (2011)
Proceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))