Login / Signup
Proving the Correctness of Nonblocking Data Structures.
Mathieu Desnoyers
Published in:
ACM Queue (2013)
Keyphrases
</>
data structure
data types
efficient data structures
main memory
quadtree
suffix tree
real time
neural network
artificial intelligence
information systems
decision making