Observational Models for Linearizability Checking on Weak Memory Models.

Kirsten Winter Graeme Smith John Derrick

Published in: TASE (2018)

Keyphrases

databases
topic models
statistical models
information retrieval
learning algorithm
search engine
image processing
case study
parameter estimation
bayesian framework
classification models
autoregressive