Runtime Refinement Checking of Concurrent Data Structures.

Serdar Tasiran Shaz Qadeer

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

data structure
runtime environment
efficient data structures
data types
mutual exclusion
website
suffix tree
neural network
consistency checking
hierarchical reinforcement learning
genetic algorithm
information systems
b tree
quadtree