A New Verification Methodology for Complex Pipeline Behavior.
Kazuyoshi KohnoNobu MatsumotoPublished in: DAC (2001)
Keyphrases
- agent based models
- real world
- data mining
- artificial intelligence
- neural network
- control system
- functional verification
- cryptographic protocols
- face verification
- complex structures
- complex queries
- computationally intensive
- model checking
- complex systems
- higher level
- expert systems
- multi agent systems
- similarity measure
- high level
- image processing