5 citations · 7 across the 3 of their papers we have counts for
3 papers
Towards Fixed-Point Formats Determination for Faust Programs
Agathe Herrou, Florent de Dinechin, Stéphane Letz +2
Modern programmable digital signal processing relies on floating-point numbers for their ease of use. Fixed-point number formats have the potential to save resources and improve ex…
Optimizing polynomials for floating-point implementation
Florent De Dinechin, Christoph Quirin Lauter
The floating-point implementation of a function on an interval often reduces to polynomial approximation, the polynomial being typically provided by Remez algorithm. However, the f…
Certifying floating-point implementations using Gappa
Florent De Dinechin, Christoph Quirin Lauter, Guillaume Melquiond
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, o…