Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadatas

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/inria-00344297
Contributor : Sylvain Pion <>
Submitted on : Thursday, December 4, 2008 - 1:55:19 PM
Last modification on : Thursday, March 5, 2020 - 4:53:27 PM
Document(s) archivé(s) le : Thursday, October 11, 2012 - 12:32:05 PM

File

FPG_RNC8.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨inria-00344297⟩

Share

Metrics

Record views

769

Files downloads

817