Verifying Concurrent Data Structures by Simulation.

Robert Colvin Simon Doherty Lindsay Groves

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

Keyphrases

data structure
simulation model
data mining
machine learning
simulation environment
learning environment
simulation models
discrete event simulation
data sets
databases
information retrieval
query processing
multi dimensional
simulation study
analytical model
formal specification language