PrideMM: A Solver for Relaxed Memory Models.

Simon Cooksey Sarah Harris Mark Batty Radu Grigore Mikolás Janota

Published in: CoRR (2019)

Keyphrases

complex systems
optimal solution
machine learning
probabilistic model
model selection
experimental data
computing power
data structure
memory usage