A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs.
Xavier AllamigeonStéphane GaubertEric GoubaultSylvie PutotNikolas StottPublished in: ACM Trans. Embed. Comput. Syst. (2017)
Keyphrases
- preprocessing
- pairwise
- experimental evaluation
- sensitivity analysis
- synthetic data
- significant improvement
- computational complexity
- cost function
- similarity measure
- prior knowledge
- objective function
- high accuracy
- segmentation algorithm
- multiscale
- computational cost
- support vector machine svm
- detection algorithm
- clustering method
- high precision