Verifying concurrent multicopy search structures.

Nisarg Patel Siddharth Krishna Dennis E. Shasha Thomas Wies

Published in: Proc. ACM Program. Lang. (2021)

Keyphrases

search algorithm
real time
search space
search strategies
search efficiency
database
data sets
databases
neural network
information systems
case study
information seeking
search mechanism