Putting Strong Linearizability in Context: Preserving Hyperproperties in Programsthat Use Concurrent Objects.

Hagit Attiya Constantin Enea

Published in: DISC (2019)

Keyphrases

moving objects
contextual information
spatial context
knowledge retrieval
data structure
d objects
context sensitive
object classes
data sets
computer vision
multimedia
high level
context aware
data objects
spatial relationships
multiple objects