Publications : Thibaut Hilaire
Retour| [5] |
Sylvie Boldo, Diane Gallois-Wong, and Thibault Hilaire.
A correctly-rounded fixed-point-arithmetic dot-product algorithm.
In 27th IEEE Symposium on Computer Arithmetic (ARITH), pages
9--16. IEEE, 2020.
[ bib |
DOI |
full text on HAL ]
Keywords: Dot Product ; Sum-of-Products ; Correct Round- ing ; Odd Rounding ; Fixed-Point Arithmetic |
| [4] |
Thibault Hilaire, Hacène Ouzia, and Benoit Lopez.
Optimal Word-Length Allocation for the Fixed-Point Implementation of
Linear Filters and Controllers.
In ARITH 2019 - IEEE 26th Symposium on Computer Arithmetic,
pages 175--182, Kyoto, Japan, June 2019. IEEE.
[ bib |
DOI |
full text on HAL |
.pdf ]
Keywords: fixed-point arithmetic ; word-length allocation |
| [3] |
Anastasia Volkova, Thibault Hilaire, and Christoph Lauter.
Arithmetic approaches for rigorous design of reliable fixed-point
LTI filters.
working paper or preprint, November 2018.
[ bib |
full text on HAL ]
Keywords: Eigendecomposition ; Gershgorin circles ; Reliable Computations ; Floating-Point Arithmetic ; Digital Filters ; Interval Arithmetic ; Multiple Precision ; Fixed-Point Arithmetic ; Table Maker's Dilemma |
| [2] | Diane Gallois-Wong, Sylvie Boldo, and Thibault Hilaire. A Coq formalization of digital filters. August 2018. [ bib | DOI | full text on HAL | .pdf ] |
| [1] |
Anastasia Volkova, Matei Istoan, Florent de Dinechin, and Thibault Hilaire.
Towards hardware IIR filters computing just right: Direct form I
case study.
IEEE Transactions on Computers, 2018.
[ bib |
full text on HAL ]
Keywords: computer arithmetic ; fixed-point ; FPGA ; error analysis ; digital filters ; constant multiplication |
Retour
This page was generated by bibtex2html.