Tiny-Pi: A Novel Formal Method for Specification, Analysis and Verification of Dynamic Partial Reconfiguration Processes.
André SeffrinAlexander BiedermannSorin A. HussPublished in: FDL (2010)
Keyphrases
- synthetic data
- pairwise
- high precision
- computationally efficient
- prior knowledge
- high accuracy
- cost function
- image sequences
- clustering method
- optimization algorithm
- classification accuracy
- computational cost
- preprocessing
- data analysis
- experimental evaluation
- dynamic programming
- significant improvement
- feature set
- statistical analysis
- artificial neural networks
- detection algorithm
- similarity measure
- process model
- model checking
- high level
- formal methods
- verification method