Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary).

Cormac Flanagan Stephen N. Freund

Published in: IPDPS (2004)

Keyphrases

dynamic environments
electronic commerce
database
real time
data sets
e learning
distributed environment