Lock Trace Reduction for Multithreaded Programs.

Yan Cai W. 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