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
-
Dinechin, “Multipartite tables in JBits for the evaluation of functions on FPGAs
- … Dinechin École Normale Supérieure de Lyon - CNRS - INRIA 46 allée d’Italie, 69364 Lyon, France {Jeremie.Detrey,Florent.de.Dinechin…
- Cited by 4 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
