What's Decidable about Weak Memory Models?

Mohamed Faouzi Atig Ahmed Bouajjani Sebastian Burckhardt Madanlal Musuvathi

Published in: ESOP (2012)

Keyphrases

complex systems
statistical models
experimental data
databases
probabilistic model
statistical model
computing power
knowledge base
data streams
model selection
computational model
memory requirements
accurate models