SCsafe: Logging sequential consistency violations continuously and precisely.

Yuelu Duan David A. Koufaty Josep Torrellas

Published in: HPCA (2016)

Keyphrases

real time
data sets
databases
constraint networks
consistency checking
temporal consistency
genetic algorithm
multiresolution
sequential data
path consistency
global consistency
constraint violations