Login / Signup
Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects.
Ilya Sergey
Aleksandar Nanevski
Anindya Banerjee
Germán Andrés Delbianco
Published in:
CoRR (2015)
Keyphrases
</>
data sets
d objects
real world objects
multiscale
search algorithm
sufficient conditions
data objects
complex scenes
mutual exclusion
concurrent execution
high level
object recognition
viewpoint
evolutionary algorithm
target object
quadratic assignment problem