Verifying sequential consistency using vector clocks.

Harold W. Cain Mikko H. Lipasti

Published in: SPAA (2002)

Keyphrases

feature vectors
sequential search
vector data
vector space
search space
evolutionary algorithm
control system
sparse matrix
global consistency
path consistency
model checking
vector quantization
data mining
color images
digital libraries
knowledge base
decision making
machine learning