Siddharth Krishna – författare

Visar alla böcker från författaren Siddharth Krishna. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Automated Verification of Concurrent Search Structures

   Av Siddharth Krishna, Nisarg Patel m. fl.

   Häftad, 2021

   606 kr

   Lägg i varukorg

   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 …

2. 

   Automated Verification of Concurrent Search Structures

   Av Thomas Wies, Dennis Shasha m. fl.

   E-bok, 2022

   815 kr

   Lägg i varukorg

   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 …