Verifying Lock-free Search Structure Templates.

Nisarg Patel Dennis Shasha Thomas Wies

Published in: CoRR (2024)

Keyphrases

data structure
search algorithm
indexing structure
search space
search tools
evolutionary algorithm
hierarchical structure
search mechanism
database
query formulation
information seeking
concurrency control
r tree
structural information
data model
digital libraries
bayesian networks
learning algorithm