Survey of square rooting algorithms Computers and Digital Techniques, IEE Proceedings, vol.137, issue.1, pp.31-40, 1990. ,
IA-64 and Elementary Functions: Speed and Precision, ser. Hewlett-Packard Professional Books, 2000. ,
Scientific Computing on Itanium R -based Systems, 2002. ,
Faster floating-point square root for integer processors, 2007 International Symposium on Industrial Embedded Systems, 2007. ,
DOI : 10.1109/SIES.2007.4297353
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
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
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
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
FLIP: a floating-point library for integer processors Available: http://www.ens-lyon Elementary functions: algorithms and implementation, 2006. ,
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. ,
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
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
The computation of transcendental functions on the IA-64 architecture, Intel Technology Journal, pp.1999-2003, 1999. ,
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. ,
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. ,
If-conversion SSA framework for partially predicated VLIW architectures, Digest of the 4th Workshop on Optimizations for DSP and Embedded Systems, 2006. ,
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
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