Taming release-acquire consistency.

Ori Lahav Nick Giannarakis Viktor Vafeiadis

Published in: POPL (2016)

Keyphrases

real time
neural network
real world
genetic algorithm
consistency constraints
temporal consistency
consistency checking
path consistency
constraint networks
temporal reasoning
hidden markov models
digital libraries
computational complexity
data structure
wide range
learning algorithm
information retrieval