Effective Program Verification for Relaxed Memory Models.

Sebastian Burckhardt Madanlal Musuvathi

Published in: CAV (2008)

Keyphrases

neural network
statistical models
accurate models
genetic algorithm
case study
image segmentation
three dimensional
probabilistic model
databases
decision making
pairwise
machine learning algorithms
computational models