Sign in

Lock Trace Reduction for Multithreaded Programs.

Yan CaiW. K. Chan
Published in: IEEE Trans. Parallel Distributed Syst. (2013)
Keyphrases
  • multi user
  • machine learning
  • programming environment
  • provably correct
  • real time
  • databases
  • website
  • computer programs
  • reduction method
  • automatic programming
  • mutual exclusion