[. Menard, D. Chillet, F. Charot, and O. Sentieys, Automatic floating-point to fixed-point conversion for DSP code generation, Proceedings of the international conference on Compilers, architecture, and synthesis for embedded systems , CASES '02
DOI : 10.1145/581630.581674

URL : https://hal.archives-ouvertes.fr/inria-00482916

[. Lopez, T. Hilaire, and L. Didier, Sum-of-products evaluation schemes with fixed-point arithmetic, and their application to IIR filter implementation
URL : https://hal.archives-ouvertes.fr/hal-01076043

C. F. Fang, R. A. Rutenbar, and T. Chen, Fast, accurate static analysis for fixed-point finite-precision effects in DSP designs, ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486)
DOI : 10.1109/ICCAD.2003.159701

[. Lopez, T. Hilaire, and L. Didier, Formatting bits to better implement signal processing algorithms. [Rev09] Guillaume Revy. Implementation of binary floating-point arithmetic on embedded integer processors -Polynomial evaluation-based algorithms and certified code generation
URL : https://hal.archives-ouvertes.fr/hal-01076049

[. Mouilleron, A. Najahi, and G. Revy, Approach based on instruction selection for fast and certified code generation
URL : https://hal.archives-ouvertes.fr/lirmm-00813055

C. Mouilleron and G. Revy, Automatic Generation of Fast and Certified Code for Polynomial Evaluation, 2011 IEEE 20th Symposium on Computer Arithmetic
DOI : 10.1109/ARITH.2011.39

URL : https://hal.archives-ouvertes.fr/ensl-00531721

R. David, S. C. Koes, and . Goldstein, Near-optimal instruction selection on DAGs

[. Martel, A. Najahi, and G. Revy, Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition, Proceedings of the 2014 Conference on Design and Architectures for Signal and Image Processing
DOI : 10.1109/DASIP.2014.7115609

URL : https://hal.archives-ouvertes.fr/lirmm-01212806

[. Mouilleron, A. Najahi, and G. Revy, Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic, 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
DOI : 10.1109/SYNASC.2014.27

URL : https://hal.archives-ouvertes.fr/lirmm-00814338

[. Martel, A. Najahi, and G. Revy, Code Size and Accuracy-Aware Synthesis of Fixed-Point Programs for Matrix Multiplication
URL : https://hal.archives-ouvertes.fr/lirmm-00860383

[. Cong and K. Gururaj, Evaluation of Static Analysis Techniques for Fixed-Point Precision Optimization, 2009 17th IEEE Symposium on Field Programmable Custom Computing Machines
DOI : 10.1109/FCCM.2009.35

[. Lee and J. D. Villasenor, Optimized Custom Precision Function Evaluation for Embedded Processors, IEEE Transactions on Computers, vol.58, issue.1
DOI : 10.1109/TC.2008.124

M. A. Najahi, U. Dali-upvd-/-lirmm, and C. , Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks 26, p.25