P. Montuschi and P. M. Mezzalama, Survey of square rooting algorithms Computers and Digital Techniques, IEE Proceedings, vol.137, issue.1, pp.31-40, 1990.

P. Markstein, IA-64 and Elementary Functions: Speed and Precision, ser. Hewlett-Packard Professional Books, 2000.

M. Cornea, J. Harrison, and P. T. Tang, Scientific Computing on Itanium R -based Systems, 2002.

C. Jeannerod, H. Knochel, C. Monat, and G. Revy, Faster floating-point square root for integer processors, 2007 International Symposium on Industrial Embedded Systems, 2007.
DOI : 10.1109/SIES.2007.4297353

G. Revy, 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

C. Jeannerod, H. Knochel, C. Monat, and G. Revy, Computing Floating-Point Square Roots via Bivariate Polynomial Evaluation, IEEE Transactions on Computers, vol.60, issue.2, 2008.
DOI : 10.1109/TC.2010.152

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

R. C. Agarwal, F. G. Gustavson, and M. S. Schmookler, Series approximation methods for divide and square root in the Power3/sup TM/ processor, Proceedings 14th IEEE Symposium on Computer Arithmetic (Cat. No.99CB36336), pp.116-123, 1999.
DOI : 10.1109/ARITH.1999.762836

J. Piñeiropi?piñeiro and J. D. Bruguera, High-speed double-precision computation of reciprocal, division, square root, and inverse square root, IEEE Transactions on Computers, vol.51, issue.12, pp.1377-1388, 2002.
DOI : 10.1109/TC.2002.1146704

S. Raina, ´. Ens-lyon, and F. , FLIP: a floating-point library for integer processors Available: http://www.ens-lyon Elementary functions: algorithms and implementation, 2006.

C. Q. Lauter and ´. Ens, Arrondi correct de fonctions mathématiques fonctions univariées et bivariées, certification et automatisation, Evaluation efficace de fonctions numériques outils et exemples, 2008.

S. Chevillard and C. Lauter, A Certified Infinite Norm for the Implementation of Elementary Functions, Seventh International Conference on Quality Software (QSIC 2007), pp.153-160, 2007.
DOI : 10.1109/QSIC.2007.4385491

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

S. Chevillard, M. Joldes, and C. Lauter, Certified and Fast Computation of Supremum Norms of Approximation Errors, 2009 19th IEEE Symposium on Computer Arithmetic, 2009.
DOI : 10.1109/ARITH.2009.18

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

J. Harrison, T. Kubaska, S. Story, and P. Tang, The computation of transcendental functions on the IA-64 architecture, Intel Technology Journal, pp.1999-2003, 1999.

G. Melquiond, M. Daumas, and G. Melquiond, De l'arithmétique d'intervallesàintervalles`intervallesà la certification de programmes Certification of bounds on expressions involving rounded operators, Transactions on Mathematical Software, vol.37, issue.1, 2006.

F. De-dinechin, C. Lauter, and G. Melquiond, Assisted verification of elementary functions using Gappa Available: http://www.msr-inria. inria.fr/ ? gmelquio/doc/06-mcms-article, Proceedings of the 2006 ACM Symposium on Applied Computingpdf [23] J. A. Fisher, P. Faraboschi, and C. Young, Embedded Computing: A VLIW Approach to Architecture, Compilers and Tools, pp.1318-1322, 2005.

C. Bruel, If-conversion SSA framework for partially predicated VLIW architectures, Digest of the 4th Workshop on Optimizations for DSP and Embedded Systems, 2006.

C. Jeannerod, H. Knochel, C. Monat, G. Revy, and G. Villard, A New Binary Floating-Point Division Algorithm and Its Software Implementation on the ST231 Processor, 2009 19th IEEE Symposium on Computer Arithmetic, 2009.
DOI : 10.1109/ARITH.2009.19

URL : https://hal.archives-ouvertes.fr/hal-00993090

C. Jeannerod and G. Revy, Optimizing correctly-rounded reciprocal square roots for embedded VLIW cores, 2009 Conference Record of the Forty-Third Asilomar Conference on Signals, Systems and Computers, 2009.
DOI : 10.1109/ACSSC.2009.5469948

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