Combining Stream-Based and State-Based Verification Techniques.

Nancy A. Day Mark D. Aagaard Byron Cook

Published in: FMCAD (2000)

Keyphrases

combining multiple
expert systems
model checking
metadata
relational databases
video sequences
concurrent systems
asynchronous circuits
multiresolution
data streams
neural network
data structure
multiscale
case study
e learning
feature selection
computer vision
genetic algorithm