Correctness of Concurrent Objects under Weak Memory Models.

Graeme Smith Kirsten Winter Robert J. Colvin

Published in: Refine@FM (2018)

Keyphrases

probabilistic model
statistical models
probability models
object models
neural network
moving objects
model selection
complex systems
statistical model
object segmentation
multiple objects