Formal Reasoning about the C11 Weak Memory Model.

Viktor Vafeiadis

Published in: CPP (2015)

Keyphrases

computational model
formal model
management system
high level
similarity measure
cost function
probability distribution
information systems
web services
probabilistic model
em algorithm
theoretical analysis
parameter estimation
experimental data
object model