Efficient computation with structured matrices and arithmetic expressions, 2011. ,
URL : https://hal.archives-ouvertes.fr/tel-00688388
Sum-of-products evaluation schemes with fixed-point arithmetic, and their application to IIR filter implementation, Conf. on Design and Architectures for Signal and Image Processing (DASIP), 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-01076043
Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics, Journal of Formal Methods in System Design, pp.265-278, 2009. ,
DOI : 10.1007/s10703-009-0068-y
Program transformation for numerical precision, Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation, PEPM '09, 2009. ,
DOI : 10.1145/1480945.1480960
Floating-to-Fixed-Point Conversion for Digital Signal Processors, EURASIP Journal on Applied Signal Processing, pp.1-15, 2006. ,
DOI : 10.1155/ASP/2006/96421
URL : https://hal.archives-ouvertes.fr/inria-00459212
Optimized Custom Precision Function Evaluation for Embedded Processors, IEEE Transactions on Computers, vol.58, issue.1, pp.46-59, 2009. ,
DOI : 10.1109/TC.2008.124
Preuves formelles en arithmétiquesarithmétiques`arithmétiquesà virgule flottante, 2004. ,
The computation of transcendental functions on the IA-64 architecture, Intel Technology Journal, pp.1999-2003, 1999. ,
Faster Math Functions, Tutorial at Game Developers Conference, 2002. ,
Automatic Generation of Fast and Certified Code for Polynomial Evaluation, 2011 IEEE 20th Symposium on Computer Arithmetic, 2011. ,
DOI : 10.1109/ARITH.2011.39
URL : https://hal.archives-ouvertes.fr/ensl-00531721
Automatic generation of implementations for DSP transforms on fused multiply-add architectures, 2004 IEEE International Conference on Acoustics, Speech, and Signal Processing, p.101, 2004. ,
DOI : 10.1109/ICASSP.2004.1327057
Mechanical Derivation of Fused Multiply–Add Algorithms for Linear Transforms, IEEE Transactions on Signal Processing, vol.55, issue.9, pp.4458-4473, 2007. ,
DOI : 10.1109/TSP.2007.896116
Implementation of binary floating-point arithmetic on embedded integer processors -polynomial evaluation-based algorithms and certified code generation, 2009. ,
URL : https://hal.archives-ouvertes.fr/tel-00469661
De l'arithmétique d'intervallesàintervalles`intervallesà la certification de programmes, 2006. ,
Fixed-Point Arithmetic: An Introduction, Digital Signal Labs, 2009. ,
Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library, Reliable Computing, vol.2, issue.3, pp.275-290, 2005. ,
DOI : 10.1007/s11155-005-6891-y
URL : https://hal.archives-ouvertes.fr/inria-00544998
Compilers: principles, techniques and tools, 1986. ,
Near-optimal instruction selection on dags, Proceedings of the sixth annual IEEE/ACM international symposium on Code generation and optimization , CGO '08 ,
DOI : 10.1145/1356058.1356065
Arrondi correct de fonctions mathématiques -fonctions univariées et bivariées, certification et automatisation, 2008. ,