Automatic Verification of Directory-Based Consistency Protocols with Graph Constraints.
Parosh Aziz AbdullaGiorgio DelzannoAhmed RezinePublished in: Int. J. Found. Comput. Sci. (2011)
Keyphrases
- global consistency
- global constraints
- consistency checking
- constraint networks
- consistency constraints
- graph structure
- weighted graph
- random walk
- path consistency
- graph model
- constrained optimization
- constraint programming
- constraint graph
- graph theoretic
- graph theory
- metadata
- directed acyclic graph
- graph partitioning
- soft constraints
- constraint satisfaction
- consistency check