FPG: A code generator for fast and certified geometric predicates
Résumé
We present a general purpose code analyzer and generator for filtered predicates, which are critical for geometric algorithms. While there already exist such code generators, our contribution is to generate ”almost static filters”, a type of filter which could not be generated previously. The generated and safe filtered predicates are almost as fast as their inexact floating point counterparts, in most cases.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...