Relaxed-memory concurrency and verified compilation.

Jaroslav Sevcík Viktor Vafeiadis Francesco Zappa Nardelli Suresh Jagannathan Peter Sewell

Published in: POPL (2011)

Keyphrases

database systems
memory requirements
low memory
computing power
concurrency control
memory usage
memory space
limited memory
real world
learning algorithm
computational complexity
query processing
data model
database
transaction processing
information retrieval
knowledge compilation