Leveraging Transactional Execution for Memory Consistency Model Emulation.

Ragavendra Natarajan Antonia Zhai

Published in: ACM Trans. Archit. Code Optim. (2015)

Keyphrases

high level
probabilistic model
statistical model
cost function
experimental data
sensitivity analysis
formal model
hidden markov models
management system
maximum likelihood
computational model
mathematical model
fault tolerant
memory management