Achieving maximum performance: a method for the verification of interlocked pipeline control logic.
Kerstin EderGeoff BarrettPublished in: DAC (2002)
Keyphrases
- detection method
- verification method
- computational complexity
- clustering method
- high accuracy
- significant improvement
- similarity measure
- fully automatic
- synthetic data
- experimental evaluation
- control system
- computational cost
- theoretical analysis
- support vector machine svm
- preprocessing
- learning algorithm
- dynamic programming
- support vector machine
- markov random field
- optimization algorithm
- prior knowledge
- evolutionary algorithm
- segmentation method
- classification method
- video sequences