22% nuolaida
Automated Verification of Concurrent Search Structures
Synthesis Lectures on Computer Science
Akcijos kaina
€59,74
Įprasta kaina
€77,07
Vieneto kaina
/
Nėra tokio varianto
Autorius Krishna Siddharth
Aprašymas
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.
Automated Verification of Concurrent Search Structures