Login / Signup

Robust Consistency Checking for Modern Filesystems.

Kuei SunDaniel FryerDai QinAngela Demke BrownAshvin Goel
Published in: RV (2014)
Keyphrases
  • consistency checking
  • stochastic search
  • temporal reasoning
  • query answering
  • case study
  • partial occlusion
  • temporal constraints
  • dynamic programming
  • qualitative and quantitative
  • path consistency