FPG: A code generator for fast and certified geometric predicates

Andreas Meyer 1 Sylvain Pion 1
1 GEOMETRICA - Geometric computing
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : 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.
Type de document :
Communication dans un congrès
Real Numbers and Computers, Jun 2008, Santiago de Compostela, Spain. pp.47-60, 2008
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00344297
Contributeur : Sylvain Pion <>
Soumis le : jeudi 4 décembre 2008 - 13:55:19
Dernière modification le : samedi 27 janvier 2018 - 01:31:48
Document(s) archivé(s) le : jeudi 11 octobre 2012 - 12:32:05

Fichier

FPG_RNC8.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00344297, version 1

Collections

Citation

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, 2008. 〈inria-00344297〉

Partager

Métriques

Consultations de la notice

617

Téléchargements de fichiers

626