Login / Signup
Ensuring deterministic concurrency through compilation.
Nalini Vasudevan
Stephen A. Edwards
Published in:
IPDPS Workshops (2010)
Keyphrases
</>
decomposable negation normal form
concurrency control
black box
database systems
neural network
database
data sets
data flow
transaction processing
relaxation algorithm
data mining
information systems
artificial neural networks
integrity constraints