Searching for authors named "Florent de Dinechin" – sorted by Relevance.
14 documents found, showing 1 through 10.
Next 10 →
-
Libraries of schedule-free operators in Alpha
- …Libraries of Schedule-Free Operators in Alpha Florent de Dinechin IRISA, Campus de Beaulieu, 35042…
- Cited by 1 (0 self) – Add To MetaCart
-
Hierarchical static analysis of structured systems of affine recurrence equations
- …Hierarchical Static Analysis of Structured Systems of Affine Recurrence Equations Florent de…
- Cited by 1 (0 self) – Add To MetaCart
-
Certifying floating-point implementations using Gappa
- … de Dinechin, Christoph Lauter, and Guillaume Melquiond February 2, 2008 Abstract High confidence…
- Add To MetaCart
-
Automatic Synthesis of Regular Architectures Optimized at the Bit Level
- … Automatic Synthesis of Regular Architectures Optimized at the Bit Level * Florent de Dinechin, Patricia Le…
- Add To MetaCart
-
Correctly Rounded Exponential Function in Double Precision Arithmetic
- … Arithmetic David Defour --- Florent de Dinechin --- Jean-Michel Muller N 4231 Juillet 2001 Unit de…
- Add To MetaCart
-
Structuration of the Alpha language
- …Structuration of the Alpha language Florent de Dinechin, Patrice Quinton, Tanguy Risset IRISA…
- Cited by 4 (3 self) – Add To MetaCart
-
Software techniques for perfect elementary functions in floating-point interval arithmetic, in "Real Numbers and Computers
- … de Dinechin École Normale Supérieure de Lyon Florent.de.Dinechin@(email omitted); Abstract Sergey Maidanov…
- Cited by 2 (1 self) – Add To MetaCart
-
Assisted verification of elementary functions using Gappa
- …Assisted verification of elementary functions using Gappa ABSTRACT Florent de Dinechin LIP, projet…
- Cited by 5 (2 self) – Add To MetaCart
-
Some Improvements on Multipartite Table Methods
- … Improvements on Multipartite Table Methods Florent de Dinechin, Arnaud Tisserand Thme 2 --- Gnie logiciel et…
- Cited by 26 (6 self) – Add To MetaCart
-
A Regular VLSI Array for an Irregular Algorithm
- …A Regular VLSI Array for an Irregular Algorithm Florent de Dinechin 1 , Doran K. Wilde 2…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
