inria-00344297, version 1
FPG: A code generator for fast and certified geometric predicates
Andreas Meyer a, 1Sylvain Pion
1
Real Numbers and Computers (2008) 47-60
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.
- a – INRIA
- 1 : GEOMETRICA (INRIA Sophia Antipolis)
- INRIA
- Domaine : Informatique/Géométrie algorithmique
Informatique/Arithmétique des ordinateurs
- inria-00344297, version 1
- http://hal.inria.fr/inria-00344297
- oai:hal.inria.fr:inria-00344297
- Contributeur : Sylvain Pion
- Soumis le : Jeudi 4 Décembre 2008, 13:55:19
- Dernière modification le : Jeudi 4 Décembre 2008, 22:43:39
Documents associés
Exporter