N. J. Higham, Accuracy and Stability of Numerical Algorithms, 2002.
DOI : 10.1137/1.9780898718027

L. Zhou, L. Qiu, and J. Zhu, A novel adaptive equalization algorithm for MIMO communication system, Proc. of the IEEE 62nd Vehicular Technology Conference (VTC-2005-Fall), pp.2408-2412, 2005.

H. Chen, X. Deng, and A. Haimovich, Layered turbo space-time coded mimo-ofdm systems for time varying channels, Proc. of the 2003 IEEE Global Telecommunications Conference (GLOBECOM'03), pp.1831-1836, 2003.

R. Yates, Fixed-Point Arithmetic: An Introduction, Digital Signal Labs, 2013.

D. Menard, D. Chillet, and O. Sentieys, 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

Z. Nikolic, H. T. Nguyen, and G. Frantz, Design and Implementation of Numerical Linear Algebra Algorithms on Fixed Point DSPs, EURASIP Journal on Advances in Signal Processing, vol.2007, issue.1, 2007.
DOI : 10.1109/29.45619

W. Sung and K. Kum, Simulation-based word-length optimization method for fixed-point digital signal processing systems, IEEE Transactions on Signal Processing, vol.43, issue.12, pp.3087-3090, 1995.
DOI : 10.1109/78.476465

D. Lee, A. A. Gaffar, R. C. Cheung, O. Mencer, W. Luk et al., Accuracy-Guaranteed Bit-Width Optimization, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.25, issue.10, 1990.
DOI : 10.1109/TCAD.2006.873887
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.385.6194

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), pp.275-282, 2003.
DOI : 10.1109/ICCAD.2003.159701

M. Martel, A. Najahi, and G. Revy, Code Size and Accuracy-Aware Synthesis of Fixed-Point Programs for Matrix Multiplication, Proc. of the 4th International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS'14), pp.204-214, 2014.
URL : https://hal.archives-ouvertes.fr/lirmm-00860383

A. Irturk, B. Benson, S. Mirzaei, and R. Kastner, GUSTO, ACM Transactions on Embedded Computing Systems, vol.9, issue.4, pp.321-353, 2010.
DOI : 10.1145/1721695.1721698

C. 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, 2013.
DOI : 10.1109/SYNASC.2014.27
URL : https://hal.archives-ouvertes.fr/lirmm-00814338

R. E. Moore, Interval Analysis, 1966.

C. Mouilleron and G. Revy, Automatic Generation of Fast and Certified Code for Polynomial Evaluation, 2011 IEEE 20th Symposium on Computer Arithmetic, pp.95-103, 2011.
DOI : 10.1109/ARITH.2011.39
URL : https://hal.archives-ouvertes.fr/ensl-00531721

B. Lopez, T. Hilaire, and L. Didier, Sum-of-products evaluation schemes with fixed-point arithmetic, and their application to IIR filter implementation, Proc. of the Conference on Design and Architectures for Signal and Image Processing, pp.2012-160
URL : https://hal.archives-ouvertes.fr/hal-01076043

D. Lee and J. D. Villasenor, 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

R. C. Cheung, D. Lee, O. Mencer, W. Luk, and P. Y. Cheung, Automating custom-precision function evaluation for embedded processors, Proceedings of the 2005 international conference on Compilers, architectures and synthesis for embedded systems , CASES '05, pp.22-31, 2005.
DOI : 10.1145/1086297.1086302

M. D. Ercegovac, L. Imbert, D. W. Matula, J. Muller, and G. Wei, Improving Goldschmidt division, square root, and square root reciprocal, IEEE Transactions on Computers, vol.49, issue.7, pp.759-763, 2000.
DOI : 10.1109/12.863046
URL : https://hal.archives-ouvertes.fr/inria-00072909