Dynamic Verification of Sequential Consistency.

Albert Meixner Daniel J. Sorin

Published in: ISCA (2005)

Keyphrases

database systems
evolutionary algorithm
data sets
image processing
website
image segmentation
wireless sensor networks
sequential data
consistency checking