ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures.
Lorenz LeutgebGeorg MoserFlorian ZulegerPublished in: CAV (2) (2021)
Keyphrases
- complexity analysis
- data structure
- theoretical analysis
- binary search trees
- lower bound
- computational complexity
- semi automated
- efficient data structures
- first order logic
- fully automated
- data types
- database systems
- multidimensional data
- mr images
- index structure
- automated analysis
- databases
- medical images
- image registration
- machine learning
- neural network