Julkaisut (6)
Julkaisutyyppi
- SMASim: A Cycle-accurate Scalable Multi-core Architecture Simulator
(2010)
- Lecture notes in engineering and computer science
- SMASim Manual, version 1.0
(2010)
- TUCS Publication Series
- Security Monitors for Java Programs with MPL
(2012)
- International Journal on Information Technologies and Security
Services for the Digital Citizen
(2012)
Sirkemaa Seppo- Surjective cellular automata far from the Garden of Eden
(2013)
- Discrete Mathematics and Theoretical Computer Science
- Synchronization property checking and inference in a lock-step synchronous parallel Replica language
(2013)
- Nordic Workshop on Programming Theory