Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Automated Verification of Concurrent Search Structures
häftad,
2021,
Engelska,
ISBN 9783031006784
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. …
Storing Clocked Programs Inside DNA
häftad,
2011,
Engelska,
ISBN 9783031006692
In the history of modern computation, large mechanical calculators preceded computers. A person would sit there punching keys according to a procedure and a number would eventually …