Publications HAL du projet ANR. ANR-13-INSE-0007

2017

Journal articles

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, American Mathematical Society, 2017, 86 (304), pp. 881-898. 〈10.1090/mcom/3123〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00867040/file/JKLM17.pdf BibTex

Conference papers

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), Sep 2017, Gent, Belgium. pp.8
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01373954/file/2017-FPL.pdf 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. 〈https://www.eusipco2017.org/〉
Accès au texte intégral et bibtex
http://hal.upmc.fr/hal-01528597/file/1570346780.pdf 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. 〈http://arith24.arithsymposium.org/〉
Accès au texte intégral et bibtex
http://hal.upmc.fr/hal-01432000/file/tf_verif_v3.pdf BibTex
titre
The Classical Relative Error Bounds for Computing √a2 + b2 and c/ √a2 + b2 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, 2017, Proceedings of the 24th IEEE Symposium on Computer Arithmetic
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01527202/file/final.pdf 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. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01373937/file/flopoco_new_pipeline.pdf BibTex

Preprints, Working Papers, ...

titre
Hardware IIR Filters: Direct Form I Computing Just Right
auteur
Florent De Dinechin, Thibault Hilaire, Matei Istoan, Anastasia Volkova
article
2017
Accès au texte intégral et bibtex
http://hal.upmc.fr/hal-01561052/file/LTICJR_HAL.pdf BibTex
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
https://hal.inria.fr/hal-01308377/file/autofir.pdf 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
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01498357/file/2017-HLS-Accumulations.pdf 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, Springer Verlag, 2016, 〈10.1007/s00034-016-0435-z〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01402231/file/paper.pdf BibTex
titre
A radix-independent error analysis of the Cornea-Harrison-Tang method
auteur
Claude-Pierre Jeannerod
article
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2016, 〈10.1145/2824252〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01050021/file/Jeannerod2015c.pdf 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
http://hal.upmc.fr/hal-01347637/file/PID4431497.pdf 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
http://hal.upmc.fr/hal-01347634/file/VolkovaLauterHilaire.pdf 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, Jul 2016, Santa Clara, United States. 2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01227877/file/2015-FixFloat.pdf BibTex
titre
Automated design of floating-point logarithm functions on integer processors
auteur
Guillaume Revy
article
ARITH 23, Jul 2016, Silicon Valley, Santa Clara, CA, United States. 23th IEEE International Symposium on Computer Arithmetic, 〈http://arith23.gforge.inria.fr/〉
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01276677/file/2015-Auto-FpLog.pdf 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, Jul 2016, Lorient, France. 2016, 〈http://compas2016.sciencesconf.org〉
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01324740/file/dLSGRe16.pdf 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. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01348007/file/2016-flopoco-pipeline.pdf 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〉. 〈http://link.springer.com/book/10.1007/978-1-4899-7983-4〉
Accès au bibtex
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. IEEE, 2015 49th Asilomar Conference on Signals, Systems and Computers pp.737-741, 2015, 〈10.1109/ACSSC.2015.7421231〉
Accès au texte intégral et bibtex
http://hal.upmc.fr/hal-01308403/file/VolkovaHilaireLauter_Asilomar49_ext.pdf BibTex
titre
Measuring predictability of Nvidia’s GPU warp and block schedulers: Application to the summation problem
auteur
David Defour
article
IEEE 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC-15), Sep 2015, Turin, Italy. IEEE 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC-15), pp.17-24, 2015, 〈10.1109/MCSoC.2015.9〉
Accès au bibtex
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. 〈http://www.eusipco2015.org/〉
Accès au texte intégral et bibtex
http://hal.upmc.fr/hal-01175663/file/EUSIPCO15.pdf 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: Application-Specific Systems, Architectures and Processors, Jul 2015, Toronto, Canada. IEEE, Application-specific Systems, Architectures and Processors (ASAP), 2015 IEEE 26th International Conference on, pp.74-81, 2015, 〈10.1109/ASAP.2015.7245712〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01134232/file/pythagorean_triples.pdf 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. 2015, 〈http://compas15.lifl.fr/pages/programme.html〉
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01136772/file/dLSGDR15.pdf 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. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01091138/file/FixAtan2.pdf 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. IEEE, pp.58-65, 2015, 〈10.1109/ARITH.2015.12〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01137953/file/frankenstein.pdf 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. 2015
Accès au texte intégral et bibtex
http://hal.upmc.fr/hal-01084726/file/metalibm%20%282%29.pdf BibTex
titre
Reliable evaluation of the Worst-Case Peak Gain matrix in multiple precision
auteur
Anastasia Volkova, Thibault Hilaire, Christoph Lauter
article
ARITH 22 - 22nd IEEE Symposium on Computer Arithmetic, Jun 2015, Lyon, France. IEEE, pp.96-103, 〈10.1109/ARITH.2015.14〉
Accès au texte intégral et bibtex
http://hal.upmc.fr/hal-01083879/file/Article.pdf 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, 〈http://www.cristal.univ-lille.fr/archi15/〉
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01273490/file/Archi15-poster%20%281%29.pdf 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
https://hal.archives-ouvertes.fr/hal-01229538/file/fxpfunc.pdf BibTex
titre
On fixed-point hardware polynomials
auteur
Florent De Dinechin
article
2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01214739/file/2015-HardPolynomials.pdf 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, IOP Publishing, 2014, 513 (5), pp.7. 〈http://iopscience.iop.org/1742-6596/513/5/052027/〉
Accès au bibtex
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. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00957609/file/SoPCCJR.pdf BibTex