Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore.

Nalini Vasudevan Stephen A. Edwards

Published in: SAC (2009)

Keyphrases

decomposable negation normal form
database systems
concurrency control
real time
search engine
real world
transaction processing
loosely coupled
relaxation algorithm