FPG: A code generator for fast and certified geometric predicates - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2008

FPG: A code generator for fast and certified geometric predicates

Sylvain Pion

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.
Fichier principal
Vignette du fichier
FPG_RNC8.pdf (150.82 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00344297 , version 1 (04-12-2008)

Identifiants

  • HAL Id : inria-00344297 , version 1

Citer

Andreas Meyer, Sylvain Pion. FPG: A code generator for fast and certified geometric predicates. Real Numbers and Computers, Jun 2008, Santiago de Compostela, Spain. pp.47-60. ⟨inria-00344297⟩

Collections

INRIA INRIA2
770 Consultations
1024 Téléchargements

Partager

More