
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
Sylvie Boldo, JeanMichel Muller, "Exact and Approximated Error of the FMA," IEEE Transactions on Computers, vol. 60, no. 2, pp. 157164, February, 2011.  
BibTex  x  
@article{ 10.1109/TC.2010.139, author = {Sylvie Boldo and JeanMichel Muller}, title = {Exact and Approximated Error of the FMA}, journal ={IEEE Transactions on Computers}, volume = {60}, number = {2}, issn = {00189340}, year = {2011}, pages = {157164}, doi = {http://doi.ieeecomputersociety.org/10.1109/TC.2010.139}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Computers TI  Exact and Approximated Error of the FMA IS  2 SN  00189340 SP157 EP164 EPD  157164 A1  Sylvie Boldo, A1  JeanMichel Muller, PY  2011 KW  Floatingpoint arithmetic KW  FMA KW  fused multiplyadd KW  computer arithmetic KW  errorfree transforms KW  error compensation KW  error of an FMA. VL  60 JA  IEEE Transactions on Computers ER   
[1] R.C. Agarwal, F.G. Gustavson, and M.S. Schmookler, "Series Approximation Methods for Divide and Square Root in the POWER3 Processor," Proc. 14th IEEE Symp. Computer Arithmetic (ARITH14 '99), pp. 116123, Apr. 1999.
[2] E. Hokenek, R.K. Montoye, and P.W. Cook, "SecondGeneration RISC Floating Point with MultiplyAdd Fused," IEEE J. SolidState Circuits, vol. 25, no. 5, pp. 12071213, Oct. 1990.
[3] R.K. Montoye, E. Hokonek, and S.L. Runyan, "Design of the IBM RISC System/6000 FloatingPoint Execution Unit," IBM J. Research and Development, vol. 34, no. 1, pp. 5970, 1990.
[4] P.W. Markstein, "Computation of Elementary Functions on the IBM RISC System/6000 Processor," IBM J. Research and Development, vol. 34, no. 1, pp. 111119, Jan. 1990.
[5] J.M. Muller, N. Brisebarre, F. de Dinechin, C.P. Jeannerod, V. Lefèvre, G. Melquiond, N. Revol, D. Stehlé, and S. Torres, Handbook of FloatingPoint Arithmetic. Birkhauser, 2009.
[6] R.C. Li, S. Boldo, and M. Daumas, "Theorems on Efficient Argument Reduction," Proc. 16th IEEE Symp. Computer Arithmetic (ARITH16 '03), pp. 129136, June 2003.
[7] R.M. Jessani and C.H. Olson, "The FloatingPoint Unit of the PowerPC 603e Microprocessor," IBM J. Research and Development, vol. 40, no. 5, pp. 559566, 1996.
[8] G. Kane, PARISC 2.0 Architecture. Prentice Hall PTR, 1995.
[9] A. Kumar, "The HP PA8000 RISC CPU," IEEE Micro, vol. 17, no. 2, pp. 2732, Mar./Apr. 1997.
[10] M. Cornea, J. Harrison, and P.T.P. Tang, Scientific Computing on ItaniumBased Systems. Intel Press, 2002.
[11] E. Quinnell, E.E. Swartzlander, and C. Lemonds, "FloatingPoint Fused MultiplyAdd Architectures" Proc. 41st Asilomar Conf. Signals, Systems, and Computers, pp. 331337, Nov. 2007.
[12] IEEE CS, IEEE Standard for FloatingPoint Arithmetic, IEEE Standard 7542008, http://ieeexplore.ieee.org/servlet opac?punumber=4610933 , Aug. 2008.
[13] O. Møller, "Quasi DoublePrecision in FloatingPoint Addition," BIT Numerical Math., vol. 5, pp. 3750, 1965.
[14] D. Knuth, The Art of Computer Programming, third ed. vol. 2. AddisonWesley, 1998.
[15] T.J. Dekker, "A FloatingPoint Technique for Extending the Available Precision," Numerische Mathematik, vol. 18, no. 3, pp. 224242, 1971.
[16] S. Boldo and M. Daumas, "Representable Correcting Terms for Possibly Underflowing Floating Point Operations," Proc. 16th Symp. Computer Arithmetic (ARITH16 '03), pp. 7986, http://perso.enslyon.fr/marc.daumas/SoftArith BolDau03a.pdf, 2003.
[17] S. Boldo, "Pitfalls of a Full FloatingPoint Proof: Example on the Formal Proof of the Veltkamp/Dekker algorithms," Proc. Third Int'l Joint Conf. Automated Reasoning, pp. 5266, 2006.
[18] S. Boldo and J.M. Muller, "Some Functions Computable with a FusedMac," Proc. 17th IEEE Symp. Computer Arithmetic (ARITH17 '05), June 2005.
[19] N. Louvet, "Algorithmes Compensés en Arithmétique Flottante: Précision, Validation, Performances," PhD dissertation, Univ. de Perpignan, Nov. 2007.
[20] S. Graillat, P. Langlois, and N. Louvet, "Improving the Compensated Horner Scheme with a Fused Multiply and Add," Proc. 21st Ann. ACM Symp. Applied Computing (ACM '06), pp. 13231327, 2006.
[21] Y. Bertot and P. Castéran, Interactive Theorem Proving and Program Development. Coq'Art: The Calculus of Inductive Constructions. Springer Verlag, 2004.
[22] T. Ogita, S.M. Rump, and S. Oishi, "Accurate Sum and Dot Product," SIAM J. Scientific Computing, vol. 26, no. 6, pp. 19551988, 2005.
[23] S. Boldo, M. Daumas, C. MoreauFinot, and L. Théry, "Computer Validated Proofs of a Toolset for Adaptable Arithmetic," École Normale Supérieure de Lyon, technical report, http://arxiv.org/pdf/cs.MS0107025, 2001.
[24] P.H. Sterbenz, FloatingPoint Computation. PrenticeHall, 1974.
[25] W. Ware et al., "Soviet Computer Technology," Comm. ACM, vol. 3, pp. 131166, Mar. 1960.