Quantitative relaxation of concurrent data structures.

Thomas A. Henzinger Christoph M. Kirsch Hannes Payer Ali Sezgin Ana Sokolova

Published in: POPL (2013)

Keyphrases

data structure
quantitative and qualitative
probabilistic relaxation
quantitative measures
suffix tree
website
objective function
edge detection
iterative algorithms
efficient data structures
neural network
decision trees
query processing
lagrangian relaxation
database operations
data structures and algorithms