Sign in
Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8.
Christopher Pulte
Shaked Flur
Will Deacon
Jon French
Susmit Sarkar
Peter Sewell
Published in:
Proc. ACM Program. Lang. (2018)
Keyphrases
</>
probabilistic model
mathematical models
multi agent
model selection
complex systems
data sets
databases
genetic algorithm
decision trees
prior knowledge
least squares
parameter estimation
regression model
degrees of freedom
concurrency control
metamodel