ISOLATOR: dynamically ensuring isolation in comcurrent programs.

Sriram K. Rajamani G. Ramalingam Venkatesh Prasad Ranganath Kapil Vaswani

Published in: ASPLOS (2009)

Keyphrases

automatic programming
special case
database
real time
e learning
image processing
programming language
intermediate level
free software