Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models.

Jacob Burnim Koushik Sen Christos Stergiou

Published in: TACAS (2011)

Keyphrases

neural network model
real time
case study
relational databases
probabilistic model
random access
memory usage
mathematical models
computational models
main memory
statistical model
process model
computational complexity
optimal solution
knowledge base
databases
data sets