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:
CoRR (2013)
Keyphrases
</>
management system
consistency checking
data mining
computer systems
path consistency
case study
learning systems
memory usage
database
databases
search engine
distributed systems
intelligent systems
modeling method
global consistency
distributed shared memory