Concurrency with Weak Memory Models (Dagstuhl Seminar 16471).

Jade Alglave Patrick Cousot Caterina Urban

Published in: Dagstuhl Reports (2016)

Keyphrases

neural network
probabilistic model
statistical model
statistical models
accurate models
bayesian networks
prior knowledge
model selection
mathematical models
memory space
concurrent execution