A Parallel IEEE P754 Decimal Floating-Point Multiplier Brian Hickmann, Andrew Krioukov, and Michael Schulte University of Wisconsin - Madison Dept. of Electrical and Computer Engineering Madison, WI 53706 {bjhickmann, kr - Decimal floating point - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2009-02-20 21:09:13 Computing Floating point Binary-coded decimal IEEE 754-2008 IEEE 754 revision Rounding Fixed-point arithmetic Denormal number Arithmetic precision Computer arithmetic Numbers Mathematics		A Parallel IEEE P754 Decimal Floating-Point Multiplier Brian Hickmann, Andrew Krioukov, and Michael Schulte University of Wisconsin - Madison Dept. of Electrical and Computer Engineering Madison, WI 53706 {bjhickmann, kr Add to Reading List Source URL: www.cs.berkeley.edu Download Document from Source Website File Size: 297,85 KB Share Document on Facebook

	Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables Alexandre Chapoutot LIP6 - Universit´e Pierre et Marie Curie 4, place Jussieur FParis Cedex 05 France DocID: 1xVDW - View Document
	Formal Correctness of Comparison Algorithms between Binary64 and Decimal64 Floating-point Numbers Arthur Blot ENS Lyon, France NSV, July 22-23, 2017 DocID: 1xVvl - View Document
	Introduction Interval+Error Advanced Gappa Conclusion Automating the Verification of Floating-point Algorithms Guillaume Melquiond Inria Saclay–ˆIle-de-France DocID: 1xV8w - View Document
	Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code — 1st International Workshop on Software Correctness for HPC Applications, Nov 12, 2017, CO, USA DocID: 1xUlS - View Document
	Combining Tools for Optimization and Analysis of Floating-Point Computations Heiko Becker1 , Pavel Panchekha2 , Eva Darulova1 , and Zachary Tatlock2 1 2 DocID: 1xUkd - View Document