A sound and complete definition of linearizability on weak memory models.

Graeme Smith Kirsten Winter Robert J. Colvin

Published in: CoRR (2018)

Keyphrases

model selection
statistical model
data sets
artificial intelligence
computer vision
regression model
experimental data