Sign in

SCsafe: Logging sequential consistency violations continuously and precisely.

Yuelu DuanDavid A. KoufatyJosep 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