Login / Signup

Quiescent Consistency: Defining and Verifying Relaxed Linearizability.

John DerrickBrijesh DongolGerhard SchellhornBogdan TofanOleg TravkinHeike Wehrheim
Published in: FM (2014)
Keyphrases
  • wide range
  • computer vision
  • maintaining consistency
  • real world
  • decision making
  • image processing
  • similarity measure
  • search algorithm
  • expert systems
  • special case
  • path consistency