Sign in

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

Cormac FlanaganStephen N. Freund
Published in: IPDPS (2004)
Keyphrases
  • dynamic environments
  • electronic commerce
  • database
  • real time
  • data sets
  • e learning
  • distributed environment