Login / Signup
x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors.
Peter Sewell
Susmit Sarkar
Scott Owens
Francesco Zappa Nardelli
Magnus O. Myreen
Published in:
Commun. ACM (2010)
Keyphrases
</>
statistical model
formal model
probabilistic model
computational model
mathematical model
sensitivity analysis
case study
high level
prior knowledge
information retrieval
artificial intelligence
theoretical analysis
prediction model
network model