Login / Signup
Robustness against Relaxed Memory Models.
Ahmed Bouajjani
Egor Derevenetc
Roland Meyer
Published in:
Software Engineering (2014)
Keyphrases
</>
database
statistical models
machine learning algorithms
statistical model
neural network
knowledge base
parameter estimation
experimental data
computational power
modeling framework
accurate models