Login / Signup
Partition consistency - A case study in modeling systems with weak memory consistency and proving correctness of their implementations.
Steven Cheng
Lisa Higham
Jalal Kawash
Published in:
Distributed Comput. (2014)
Keyphrases
</>
global consistency
consistency checking
computer systems
case study
intelligent systems
building blocks
memory usage
path consistency
maintaining consistency
database
databases
machine learning
distributed systems
knowledge based systems
modeling method