A Constructive Approach for Proving Data Structures' Linearizability.

Kfir Lev-Ari Gregory V. Chockler Idit Keidar

Published in: DISC (2015)

Keyphrases

data structure
efficient data structures
suffix tree
data types
multiscale
data sets
learning environment
database operations
algorithms and data structures
neural network
case study
objective function
relational databases
domain specific