Dynamic partial order reduction for relaxed memory models.

Naling Zhang Markus Kusano Chao Wang

Published in: PLDI (2015)

Keyphrases

statistical models
probabilistic model
experimental data
decision trees
bayesian networks
memory usage
databases
statistical model
complex systems
mobile robot
objective function
three dimensional
case study
decision making
feature selection
information retrieval
neural network