2020
Book sections
- titre
- Influence of the Condition Number on Interval Computations: Illustration on Some Examples
- auteur
- Nathalie Revol
- article
- O. Kosheleva, S.P. Shary, G. Xiang, R. Zaparin. Beyond Traditional Probabilistic Data Processing Techniques: Interval, Fuzzy etc. Methods and Their Applications, 835, Springer, pp.359--373, 2020, Studies in Computational Intelligence, 978-3-030-31041-7. ⟨10.1007/978-3-030-31041-7_20⟩
- Accès au texte intégral et bibtex
-
2019
Journal articles
- titre
- Towards Hardware IIR Filters Computing Just Right: Direct Form I Case Study
- auteur
- Anastasia Volkova, Matei Istoan, Florent de Dinechin, Thibault Hilaire
- article
- IEEE Transactions on Computers, 2019, 68 (4), pp.597 - 608. ⟨10.1109/TC.2018.2879432⟩
- Accès au texte intégral et bibtex
-
2018
Conference papers
- titre
- Meta-implementation of vectorized logarithm function in binary floating-point arithmetic
- auteur
- Hugues de Lassus Saint-Geniès, Nicolas Brunie, Guillaume Revy
- article
- ASAP 2018 - 29th IEEE International Conference Application-specific Systems, Architectures and Processors, Jul 2018, Milan, Italy. pp.1-8, ⟨10.1109/ASAP.2018.8445102⟩
- Accès au texte intégral et bibtex
-
- titre
- Karatsuba with Rectangular Multipliers for FPGAs
- auteur
- Martin Kumm, Oscar Gustafsson, Florent de Dinechin, Johannes Kappauf, Peter Zipf
- article
- ARITH 2018 - 25th IEEE International Symposium on Computer Arithmetic, Jun 2018, Amherst, United States. pp.13-20, ⟨10.1109/ARITH.2018.8464809⟩
- Accès au texte intégral et bibtex
-
2017
Journal articles
- titre
- Hardware division by small integer constants
- auteur
- Fatih Ugurdag, Florent de Dinechin, Yilmaz Serhan Gener, Sezer Gören, Laurent-Stéphane Didier
- article
- IEEE Transactions on Computers, 2017, ⟨10.1109/TC.2017.2707488⟩
- Accès au texte intégral et bibtex
-
- titre
- Error bounds on complex floating-point multiplication with an FMA
- auteur
- Claude-Pierre Jeannerod, Peter Kornerup, Nicolas Louvet, Jean-Michel Muller
- article
- Mathematics of Computation, 2017, 86 (304), pp. 881-898. ⟨10.1090/mcom/3123⟩
- Accès au texte intégral et bibtex
-
- titre
- Exact Lookup Tables for the Evaluation of Trigonometric and Hyperbolic Functions
- auteur
- Hugues de Lassus Saint-Geniès, David Defour, Guillaume Revy
- article
- IEEE Transactions on Computers, 2017, 66 (12), pp.2058-2071. ⟨10.1109/TC.2017.2703870⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- On the relative error of computing complex square roots in floating-point arithmetic
- auteur
- Claude-Pierre Jeannerod, Jean-Michel Muller
- article
- ACSSC 2017 - 51st Asilomar Conference on Signals, Systems, and Computers, Oct 2017, Pacific Grove, United States. pp.737-740, ⟨10.1109/ACSSC.2017.8335442⟩
- Accès au texte intégral et bibtex
-
- titre
- Bridging High-Level Synthesis and Application-Specific Arithmetic: The Case Study of Floating-Point Summations
- auteur
- Yohann Uguen, Florent de Dinechin, Steven Derrien
- article
- 27th International Conference on Field-Programmable Logic and Applications (FPL), IEEE, Sep 2017, Gent, Belgium. pp.8
- Accès au texte intégral et bibtex
-
- titre
- Multiplierless Unified Architecture for Mixed Radix−2/3/4 FFTs
- auteur
- Fahad Qureshi, Jarmo Takala, Anastasia Volkova, Thibault Hilaire
- article
- 25th European Signal Processing Conference, EUSIPCO 2017,, Aug 2017, Kos island, Greece
- Accès au texte intégral et bibtex
-
- titre
- The Classical Relative Error Bounds for Computing $\sqrt(a^2 + b^2)$ and $c/\sqrt(a^2 + b^2)$ in Binary Floating-Point Arithmetic are Asymptotically Optimal
- auteur
- Claude-Pierre Jeannerod, Jean-Michel Muller, Antoine Plet
- article
- ARITH-24 2017 - 24th IEEE Symposium on Computer Arithmetic, Jul 2017, London, United Kingdom. pp.8
- Accès au texte intégral et bibtex
-
- titre
- Reliable verification of digital implemented filters against frequency specifications
- auteur
- Anastasia Volkova, Christoph Lauter, Thibault Hilaire
- article
- 24th IEEE Symposium on Computer Arithmetic (ARITH 24), Jul 2017, London, United Kingdom
- Accès au texte intégral et bibtex
-
- titre
- A high-level synthesis approach optimizing accumulations in floating-point programs using custom formats and operators
- auteur
- Yohann Uguen, Florent de Dinechin, Steven Derrien
- article
- 2017 IEEE 25th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM), Apr 2017, Napa, United States. pp.80-80, ⟨10.1109/FCCM.2017.41⟩
- Accès au texte intégral et bibtex
-
- titre
- Automating the pipeline of arithmetic datapaths
- auteur
- Matei Istoan, Florent de Dinechin
- article
- Design, Automation & Test in Europe Conference & Exhibition (DATE 2017), Mar 2017, Lausanne, Switzerland
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Analyser et encadrer les erreurs dues à l'arithmétique flottante
- auteur
- Claude-Pierre Jeannerod, Nathalie Revol
- article
- Informatique mathématique : une photographie en 2017, CNRS Editions, pp.115-144, 2017, 978-2-271-11523-2
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Automatic generation of hardware FIR filters from a frequency domain specification
- auteur
- Silviu-Ioan Filip, Matei Istoan, Florent de Dinechin, Nicolas Brisebarre
- article
- 2017
- Accès au texte intégral et bibtex
-
2016
Journal articles
- titre
- Improving Energy Efficiency of OFDM Using Adaptive Precision Reconfigurable FFT
- auteur
- Hatam Abdoli, Hooman Nikmehr, Naser Movahedinia, Florent de Dinechin
- article
- Circuits, Systems, and Signal Processing, 2016, ⟨10.1007/s00034-016-0435-z⟩
- Accès au texte intégral et bibtex
-
- titre
- A radix-independent error analysis of the Cornea-Harrison-Tang method
- auteur
- Claude-Pierre Jeannerod
- article
- ACM Transactions on Mathematical Software, 2016, ⟨10.1145/2824252⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Reliable fixed-point implementation of linear data-flows
- auteur
- Thibault Hilaire, Anastasia Volkova, Maminionja Ravoson
- article
- IEEE International Workshop on Signal Processing Systems (SiPS), Oct 2016, Dallas, United States
- Accès au texte intégral et bibtex
-
- titre
- Computing the Worst-Case Peak Gain of Digital Filter in Interval Arithmetic
- auteur
- Anastasia Volkova, Christoph Lauter, Thibault Hilaire
- article
- 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics. , Sep 2016, Uppsala, Sweden
- Accès au texte intégral et bibtex
-
- titre
- Computing floating-point logarithms with fixed-point operations
- auteur
- Julien Le Maire, Nicolas Brunie, Florent de Dinechin, Jean-Michel Muller
- article
- 23rd IEEE Symposium on Computer Arithmetic, IEEE, Jul 2016, Santa Clara, United States
- Accès au texte intégral et bibtex
-
- titre
- Automated design of floating-point logarithm functions on integer processors
- auteur
- Guillaume Revy
- article
- 23rd IEEE Symposium on Computer Arithmetic, Jul 2016, Silicon Valley, Santa Clara, CA, United States. pp.172-180, ⟨10.1109/ARITH.2016.28⟩
- Accès au texte intégral et bibtex
-
- titre
- Performances de schémas d'évaluation polynomiale sur architectures vectorielles
- auteur
- Hugues de Lassus Saint-Geniès, Guillaume Revy
- article
- ComPAS: Conférence en Parallélisme, Architecture et Système, Lab-STICC, Jul 2016, Lorient, France
- Accès au texte intégral et bibtex
-
- titre
- Pipeline automatique d’opérateurs dans FloPoCo 5.0
- auteur
- Matei Istoan, Florent de Dinechin
- article
- COMPAS'2016: Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2016, Lorient, France
- Accès au texte intégral et bibtex
-
Books
- titre
- Elementary functions, algorithms and implementation, 3rd Edition
- auteur
- Jean-Michel Muller
- article
- Birkhaüser Boston, 2016, 978-1-4899-7981-0. ⟨10.1007/978-1-4899-7983-4⟩
- Accès au bibtex
-
2015
Conference papers
- titre
- Determining fixed-point formats for a digital filter implementation using the worst-case peak gain measure
- auteur
- Anastasia Volkova, Thibault Hilaire, Christoph Lauter
- article
- 49th Asilomar Conference on Signals, Systems and Computers , Nov 2015, Pacific Grove, CA United States. pp.737-741, ⟨10.1109/ACSSC.2015.7421231⟩
- Accès au texte intégral et bibtex
-
- titre
- Measuring predictability of Nvidia’s GPU warp and block schedulers: Application to the summation problem
- auteur
- David Defour
- article
- MCSoC: Embedded Multicore/Many-core Systems-on-Chip, Sep 2015, Turin, Italy. pp.17-24, ⟨10.1109/MCSoC.2015.9⟩
- Accès au bibtex
-
- titre
- FIXED-POINT IMPLEMENTATION OF LATTICE WAVE DIGITAL FILTER: COMPARISON AND ERROR ANALYSIS
- auteur
- Anastasia Volkova, Thibault Hilaire
- article
- 23rd European Signal Processing Conference, EUSIPCO 2015, Aug 2015, Nice, France
- Accès au texte intégral et bibtex
-
- titre
- Range Reduction Based on Pythagorean Triples for Trigonometric Function Evaluation
- auteur
- Hugues de Lassus Saint-Geniès, David Defour, Guillaume Revy
- article
- ASAP 2015 - 26th IEEE International Conference Application-specific Systems, Architectures and Processors, Jul 2015, Toronto, Canada. pp.74-81, ⟨10.1109/ASAP.2015.7245712⟩
- Accès au texte intégral et bibtex
-
- titre
- Réduction d'argument basée sur les triplets pythagoriciens pour l'évaluation de fonctions trigonométriques
- auteur
- Hugues de Lassus Saint-Geniès, David Defour, Guillaume Revy
- article
- ComPAS: Conférence en Parallélisme, Architecture et Système, Jun 2015, Lille, France
- Accès au texte intégral et bibtex
-
- titre
- Reliable evaluation of the Worst-Case Peak Gain matrix in multiple precision
- auteur
- Anastasia Volkova, Thibault Hilaire, Christoph Q. Lauter
- article
- ARITH 22 - 22nd IEEE Symposium on Computer Arithmetic, Jun 2015, Lyon, France. pp.96-103, ⟨10.1109/ARITH.2015.14⟩
- Accès au texte intégral et bibtex
-
- titre
- Hardware implementations of fixed-point Atan2
- auteur
- Florent de Dinechin, Matei Istoan
- article
- 22nd IEEE Symposium on Computer Arithmetic, Jun 2015, Lyon, France
- Accès au texte intégral et bibtex
-
- titre
- Code generators for mathematical functions
- auteur
- Nicolas Brunie, Florent de Dinechin, Olga Kupriianova, Christoph Lauter
- article
- 22d IEEE Symposium on Computer Arithmetic, Jun 2015, Lyon, France
- Accès au texte intégral et bibtex
-
- titre
- Semi-Automatic Floating-Point Implementation of Special Functions
- auteur
- Christoph Lauter, Marc Mezzarobba
- article
- IEEE 22nd Symposium on Computer Arithmetic, ARITH 22, Jun 2015, Lyon, France. pp.58-65, ⟨10.1109/ARITH.2015.12⟩
- Accès au texte intégral et bibtex
-
Poster communications
- titre
- Error-free Tables for Trigonometric Function Evaluation
- auteur
- Hugues de Lassus Saint-Geniès, David Defour, Guillaume Revy
- article
- ARCHI: Architecture des systèmes matériels et logiciels embarqués, et méthodes de conception associées, Jun 2015, Lille, France. , 8e édition de l’école thématique Archi, 2015
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Fixed-Point Implementations of the Reciprocal, Square Root and Reciprocal Square Root Functions
- auteur
- Matei Istoan, Bogdan Pasca
- article
- 2015
- Accès au texte intégral et bibtex
-
- titre
- On fixed-point hardware polynomials
- auteur
- Florent de Dinechin
- article
- 2015
- Accès au texte intégral et bibtex
-
2014
Journal articles
- titre
- Speeding up HEP experiment software with a library of fast and auto-vectorisable mathematical functions
- auteur
- Danilo Piparo, Vincenzo Innocente, Thomas Hauth
- article
- Journal of Physics: Conference Series, 2014, 513 (5), pp.7
- Accès au bibtex
-
Conference papers
- titre
- Sum-of-Product Architectures Computing Just Right
- auteur
- Florent de Dinechin, Matei Istoan, Albdelbassat Massouri
- article
- ASAP - Application-specific Systems, Architectures and Processors, Jun 2014, Zurich, Switzerland
- Accès au texte intégral et bibtex
-