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
Sum-of-products evaluation schemes with fixed-point arithmetic, and their application to IIR filter implementation ,
URL : https://hal.archives-ouvertes.fr/hal-01076043
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
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
Approach based on instruction selection for fast and certified code generation ,
URL : https://hal.archives-ouvertes.fr/lirmm-00813055
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
Near-optimal instruction selection on DAGs ,
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
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
Code Size and Accuracy-Aware Synthesis of Fixed-Point Programs for Matrix Multiplication ,
URL : https://hal.archives-ouvertes.fr/lirmm-00860383
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
Optimized Custom Precision Function Evaluation for Embedded Processors, IEEE Transactions on Computers, vol.58, issue.1 ,
DOI : 10.1109/TC.2008.124
Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks 26, p.25 ,