Verifying Dynamic Pointer-Manipulating Threads.

Thomas Noll Stefan Rieger

Published in: FM (2008)

Keyphrases

dynamically changing
cooperative
management system
data sets
neural network
data mining
artificial intelligence
decision making
data structure
changing environment