A formal hierarchy of weak memory models.

Published in: Formal Methods Syst. Des. (2012)

Keyphrases

databases
statistical models
neural network model
artificial intelligence
database systems
multiscale
memory space
website
probabilistic model
graphical models
parameter estimation
experimental data
formal model
formal models
accurate models