Sketching concurrent data structures.
Armando Solar-LezamaChristopher Grant JonesRastislav BodíkPublished in: PLDI (2008)
Keyphrases
- data structure
- efficient data structures
- mutual exclusion
- data types
- neural network
- sketch recognition
- suffix tree
- index structure
- multi dimensional
- management system
- quadtree
- high dimensional
- image processing
- information retrieval
- hierarchical reinforcement learning
- concurrent execution
- real time
- concurrent programs