Types for relaxed memory models.

Matthew Goto Radha Jagadeesan Corin Pitcher James Riely

Published in: TLDI (2012)

Keyphrases

prior knowledge
probabilistic model
bayesian framework
model selection
parameter estimation
complex systems
limited memory
real time
memory space
computing power
computational models
statistical methods
statistical models
maximum likelihood
markov random field
database systems
decision making
databases
data sets