Partial-coherence abstractions for relaxed memory models.

Michael Kuperstein Martin T. Vechev Eran Yahav

Published in: PLDI (2011)

Keyphrases

statistical models
complex systems
data sets
prior knowledge
probability distribution
databases
database systems
graphical models
statistical methods
main memory
accurate models
memory size