Verifying out-of-order executions.

Werner Damm Amir Pnueli

Published in: CHARME (1997)

Keyphrases

databases
machine learning
image processing
objective function
computer science
digital libraries
viewpoint
data sets
neural network
multi agent
pattern recognition
multiresolution
probabilistic model