Produktbild
Siddharth Krishna

Automated Verification of Concurrent Search Structures

Buch

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 notoriously difficult to design correctly. Indeed, bugs have been found both in actual implementations and in the designs proposed by experts in peer-reviewed publications. The rapid development and deployment of these concurrent algorithms has resul… Mehr

CHF 92.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Patel, Nisarg / Shasha, Dennis
  • ISBN: 978-1-63639-128-1
  • EAN: 9781636391281
  • Produktnummer: 36699033
  • Verlag: Morgan & Claypool
  • Sprache: Englisch
  • Erscheinungsjahr: 2021
  • Seitenangabe: 188 S.
  • Masse: H23.5 cm x B19.1 cm x D1.0 cm 366 g
  • Gewicht: 366

2 weitere Werke von Siddharth Krishna:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.