Login / Signup
Lock Removal for Concurrent Trace Programs.
Vineet Kahlon
Chao Wang
Published in:
CAV (2012)
Keyphrases
</>
concurrent execution
read write
concurrent programming
concurrent programs
real time
concurrency control
computer programs
fixpoint
database
multiscale
intermediate level
automatic programming
control structures
runtime environment