Round-up: Runtime checking quasi linearizability of concurrent data structures.

Lu Zhang Arijit Chattopadhyay Chao Wang

Published in: ASE (2013)

Keyphrases

data structure
runtime environment
efficient data structures
data types
suffix tree
mutual exclusion
bloom filter
consistency checking
data structures and algorithms
concurrent execution
b tree
quadtree
inverted index
database
multidimensional data
index structure
s box
evolutionary algorithm
data sets
real time