AutoMO: automatic inference of memory order parameters for C/C++11.

Peizhao Ou Brian Demsky

Published in: OOPSLA (2015)

Keyphrases

data mining
multiscale
expert systems
maximum likelihood
input parameters
real time
artificial intelligence
knowledge base
decision trees
video sequences
least squares
parameter estimation
belief networks
parameter values
probabilistic inference
limited memory