A Hybrid Model for Reasoning about Composed Hardware Systems.
E. Thomas SchubertPublished in: CAV (1994)
Keyphrases
- hybrid model
- artificial neural networks
- computer systems
- expert systems
- low cost
- support vector regression
- complex systems
- hybrid models
- real time
- hardware and software
- management system
- embedded systems
- particle swarm optimization
- distributed systems
- processing capabilities
- digital circuits
- heterogeneous systems
- image processing