Login / Signup
Automated inference of atomic sets for safe concurrent execution.
Peter Dinges
Minas Charalambides
Gul Agha
Published in:
PASTE (2013)
Keyphrases
</>
concurrent execution
concurrency control
data mining
parallel execution