Communication Dans Un Congrès Année : 2008

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.

Fichier principal
Vignette du fichier
FPG_RNC8.pdf (150.82 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

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

Licence

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⟩
1220 Consultations
1568 Téléchargements

Partager

  • More