The multiple wordlength paradigm, Proc. IEEE Symposium on Field-Programmable Custom Computing Machines, 2001. ,
Comments on fast and exact accumulation of products, Applied Parallel and Scientific Computing, K. Jónasson, pp.148-156, 2012. ,
Towards hardware iir filters computing just right: Direct form i case study, IEEE Transactions on Computers, vol.68, issue.4, pp.597-608, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-01561052
Worst cases for correct rounding of the elementary functions in double precision, Proceedings of the 15th Symposium on Computer Arithmetic, pp.111-118, 2001. ,
Accurate sum and dot product, SIAM Journal on Scientific Computing, vol.26, pp.1955-1988, 2005. ,
First draft of a report on the edvac, 1945. ,
Preliminary discussion of the logical design of an electronic computing instrument, 1946. ,
What every computer scientist should know about floating point arithmetic, ACM Computing Surveys, vol.23, issue.1, pp.5-47, 1991. ,
Emulation of FMA and Correctly-Rounded Sums: Proved Algorithms Using Rounding to Odd, IEEE Transactions on Computers, vol.57, issue.4, pp.462-471, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00080427
, IEEE Standard for Standard SystemC Language Reference Manual, Revision of IEEE Std 1666-2005), pp.1-638, 2012.
Implementation of digital controllers -a survey, Automatica, vol.23, issue.1, pp.7-32, 1987. ,
A course in digital signal processing, 1997. ,
Optimal Word-Length Allocation for the Fixed-Point Implementation of Linear Filters and Controllers, ARITH 2019 -IEEE 26th Symposium on Computer Arithmetic ,
URL : https://hal.archives-ouvertes.fr/hal-02393851
, , pp.175-182, 2019.
Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01632617
A Coq formalization of digital filters, Intelligent Computer Mathematics, pp.87-103, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01728828