Weak atomicity for the x86 memory consistency model.

Amitabha Roy Steven Hand Tim Harris

Published in: J. Parallel Distributed Comput. (2012)

Keyphrases

computational model
mathematical model
formal model
genetic algorithm
statistical model
probabilistic model
high level
similarity measure
cost function
probability distribution
management system
prediction model
data sets
process model
theoretical framework
hidden markov models
bayesian networks
neural network