Verification of SystemC Components Using the Method of Deduction.
Elbouanani SoumiaIsmail AssayadMohamed SadikPublished in: UNet (2017)
Keyphrases
- signature verification
- preprocessing
- detection method
- experimental evaluation
- computational cost
- cost function
- dynamic programming
- classification accuracy
- support vector machine
- significant improvement
- support vector
- neural network
- detection algorithm
- prior knowledge
- error rate
- petri net
- classification method
- high precision
- optimization method