Pastāsti draugiem par šo preci:
Automated Verification of Concurrent Search Structures - Synthesis Lectures on Computer Science Siddharth Krishna
Automated Verification of Concurrent Search Structures - Synthesis Lectures on Computer Science
Siddharth Krishna
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.
182 pages, X, 182 p.
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2021. gada 1. jūnijs |
| ISBN13 | 9783031006784 |
| Izdevēji | Springer International Publishing AG |
| Lapas | 182 |
| Izmēri | 150 × 220 × 10 mm · 372 g |
| Valoda | Angļu |