Login / Signup
Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures.
Redha Gouicem
Dennis Sprokholt
Jasper Ruehl
Rodrigo C. O. Rocha
Tom Spink
Soham Chakraborty
Pramod Bhatotia
Published in:
ASPLOS (1) (2023)
Keyphrases
</>
objective function
probabilistic model
management system
theoretical analysis
formal model
cost function
probability distribution
experimental data
machine learning
case study
mathematical model
main memory
prediction model