Sound, complete, and tractable linearizability monitoring for concurrent collections.

Michael Emmi Constantin Enea

Published in: Proc. ACM Program. Lang. (2018)

Keyphrases

monitoring system
real time
document collections
social networks
mutual exclusion
data acquisition
digital libraries
learning algorithm
data sets
metadata
data structure
computational complexity
control system
decision support
genetic algorithm
databases
database