FPG: A code generator for fast and certified geometric predicates - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2008

FPG: A code generator for fast and certified geometric predicates

Sylvain Pion

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.
Fichier principal
Vignette du fichier
FPG_RNC8.pdf (150.82 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : inria-00344297 , version 1

Cite

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
713 View
979 Download

Share

Gmail Facebook X LinkedIn More