Verification Challenges of Workload Optimized Hardware Systems.
Klaus-Dieter SchubertPublished in: Haifa Verification Conference (2011)
Keyphrases
- computer systems
- management system
- embedded systems
- real time
- computing systems
- low cost
- poses challenges
- database
- software implementation
- interactive systems
- software engineering
- building blocks
- retrieval systems
- intelligent systems
- formal methods
- technological advances
- case study
- data mining
- fundamental principles
- real world