Proving Concurrent Data Structures Linearizable.
Vineet SinghIulian NeamtiuRajiv GuptaPublished in: ISSRE (2016)
Keyphrases
- data structure
- quadratic assignment problem
- efficient data structures
- data mining
- search engine
- neural network
- kd trees
- mutual exclusion
- concurrent programs
- hierarchical reinforcement learning
- algorithms and data structures
- data structures and algorithms
- bloom filter
- multidimensional data
- suffix tree
- quadtree
- nearest neighbor
- multi agent