Automated Verification of Concurrent Search Structures

Available
0
StarStarStarStarStar
0Reviews
Search structures support the fundamental data storage primitives on key-value pairs: insert a pair, delete by key, search by key, and update the value associated with a key. Concurrent search structures are parallel algorithms to speed access to search structures on multicore and distributed servers. These sophisticated algorithms perform fine-grained synchronization between threads, making them ...
Read more
E-book
pdf
Price
41.95 £
Search structures support the fundamental data storage primitives on key-value pairs: insert a pair, delete by key, search by key, and update the value associated with a key. Concurrent search structures are parallel algorithms to speed access to search structures on multicore and distributed servers. These sophisticated algorithms perform fine-grained synchronization between threads, making them ...
Read more
Follow the Author

Options

  • Formats: pdf
  • ISBN: 9781636391298
  • Publication Date: 1 Jun 2021
  • Publisher: Morgan & Claypool Publishers
  • Product language: English
  • Drm Setting: DRM