Isolating Determinism in Multi-threaded Programs.

Lukasz Ziarek Siddharth Tiwary Suresh Jagannathan

Published in: RV (2011)

Keyphrases

multi threaded
operating system
information flow
multi core processors
multithreading
computer architecture
real time
general purpose
fine grained