Date: 2017-07-31 08:52:27Computer arithmetic Arithmetic Computing Binary arithmetic Theory of computation Data types IEEE standards Decimal64 floating-point format IEEE 754 Double-precision floating-point format cole normale suprieure de Lyon Algorithm | | Formal Correctness of Comparison Algorithms between Binary64 and Decimal64 Floating-point Numbers Arthur Blot ENS Lyon, France NSV, July 22-23, 2017Add to Reading ListSource URL: www.cs.ox.ac.ukDownload Document from Source Website File Size: 190,82 KBShare Document on Facebook
|