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

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

J. P. Piso and J. D. Bruguera, Analysis of the impact of different methods for division/square root computation in the performance of a superscalar microprocessor, Journal of Systems Architecture, vol.49, pp.12-15543, 2003.

M. D. Ercegovac and T. Lang, Digital Arithmetic, 2004.
URL : https://hal.archives-ouvertes.fr/ensl-00542215

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

J. Hauser, The SoftFloat and TestFloat Packages

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

W. Kahan, A brief tutorial on gradual underflow, 2005.

C. Q. Lauter, Arrondi correct de fonctions mathématiques -fonctions univariées et bivariées, certification et automatisation, 2008.

P. W. Markstein, Computation of elementary functions on the IBM RISC System/6000 processor, IBM Journal of Research and Development, vol.34, issue.1, pp.111-119, 1990.
DOI : 10.1147/rd.341.0111

P. W. Markstein, Software division and square root using Goldschmidt's algorithms, Proc. of the 6th Conference on Real Numbers and Computers, pp.146-157, 2004.

D. W. Matula and L. D. Mcfearin, Extremal rounding test sets

G. Melquiond, De l'arithmétique d'intervallesàintervalles`intervallesà la certification de programmes, 2006.

S. F. Oberman and M. J. Flynn, Fast IEEE rounding for division by functional iteration, 1996.

S. F. Oberman and M. J. Flynn, Design issues in division and other floating-point operations, IEEE Transactions on Computers, vol.46, issue.2, pp.154-161, 1997.
DOI : 10.1109/12.565590

S. F. Oberman and M. J. Flynn, Division algorithms and implementations, IEEE Transactions on Computers, vol.46, issue.8, pp.833-854, 1997.
DOI : 10.1109/12.609274

J. 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, FLIP: a Floating-point Library for Integer Processors, 2006.

E. M. Schwarz, Rounding for quadratically converging algorithms for division and square root, Conference Record of The Twenty-Ninth Asilomar Conference on Signals, Systems and Computers, pp.600-603, 1995.
DOI : 10.1109/ACSSC.1995.540618