C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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