Combining Lock Inference with Lock-Based Software Transactional Memory.

Stefan Kempf Ronald Veldema Michael Philippsen

Published in: LCPC (2013)

Keyphrases

concurrency control
blue gene
hardware design
speculative execution
bayesian networks
source code
database
real time
database systems
computer systems
software architecture
distributed databases
massively parallel