C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Verification of STM on relaxed memory models.
Rachid Guerraoui
Thomas A. Henzinger
Vasu Singh
Published in:
Formal Methods Syst. Des. (2011)
Keyphrases
</>
statistical models
databases
neural network
model selection
machine learning
optimal solution
probabilistic model
operating system
machine learning algorithms
bayesian framework
memory requirements
signature verification