A Tractable and Fast Method for Monitoring SystemC TLM Specifications.
Laurence PierreLuca FerroPublished in: IEEE Trans. Computers (2008)
Keyphrases
- experimental evaluation
- error rate
- synthetic data
- support vector machine svm
- preprocessing
- probabilistic model
- main contribution
- theoretical analysis
- high accuracy
- high precision
- fully automatic
- data sets
- computational complexity
- objective function
- evaluation method
- matching algorithm
- optimization method
- real time
- clustering method
- np complete
- support vector machine
- pairwise
- support vector
- video sequences