Control Systems Design: An Introduction to State-Space Methods, 1985. ,
Wave digital filters: Theory and practice, Proc. of the IEEE, 1986. ,
DOI : 10.1109/PROC.1986.13458
Improved intervalbased characterization of fixed-point LTI systems with feedback loops Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol.26, issue.11, pp.1923-1933, 2007. ,
Fixed-point optimization utility for C and C++ based digital signal processing programs, IEEE Transactions on Circuits and Systems, vol.45, pp.1455-1464, 1998. ,
Reliable implementation of linear filters with fixed-point arithmetic, SiPS 2013 Proceedings, 2013. ,
DOI : 10.1109/SiPS.2013.6674540
URL : https://hal.archives-ouvertes.fr/hal-01076048
Reliable Evaluation of the Worst-Case Peak Gain Matrix in Multiple Precision, 2015 IEEE 22nd Symposium on Computer Arithmetic, 2015. ,
DOI : 10.1109/ARITH.2015.14
URL : https://hal.archives-ouvertes.fr/hal-01083879
First Draft of a Report on the EDVAC, tech. rep, 1945. ,
DOI : 10.1007/978-3-642-61812-3_30
Two's complement, Cornell University lecture notes, 2000. ,
Handbook of Floating- Point Arithmetic, 2010. ,
DOI : 10.1007/978-0-8176-4705-6
URL : https://hal.archives-ouvertes.fr/ensl-00379167
Formatting bits to better implement signal processing algorithms, Proc.PECCS, Portugal, pp.104-111, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01076049
Sum-of-product architectures computing just right, 2014 IEEE 25th International Conference on Application-Specific Systems, Architectures and Processors, 2014. ,
DOI : 10.1109/ASAP.2014.6868629
URL : https://hal.archives-ouvertes.fr/hal-00957609
Accuracy and stability of numerical algorithms, 2002. ,
DOI : 10.1137/1.9780898718027
MPFR, ACM Transactions on Mathematical Software, vol.33, issue.2, pp.1-13, 2007. ,
DOI : 10.1145/1236463.1236468
URL : https://hal.archives-ouvertes.fr/inria-00103655