Formal Correctness of Comparison Algorithms between Binary64 and Decimal64 Floating-point Numbers Arthur Blot ENS Lyon, France NSV, July 22-23, 2017

First Page		Document Content
Date: 2017-07-31 08:52:27 Computer 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, 2017 Add to Reading List Source URL: www.cs.ox.ac.uk Download Document from Source Website File Size: 190,82 KB Share Document on Facebook

	Efficient Software Implementation of Binary Field Arithmetic Using Vector Instruction Sets Diego F. Aranha Department of Computer Science University of Bras´ılia Joint work with DocID: 1umfa - View Document
	Efficient Arithmetic on Binary Genus-2 Curves Peter Birkner and Tanja Lange Eindhoven University of Technology, The Netherlands Western European Workshop on Research in Cryptology DocID: 1tTOx - View Document
	Control and embedded Systems Tutorial Table Of Contents Previous: Programming Part 1 Next: Boolean Logic DocID: 1rtCK - View Document
	MPFR: A Multiple-Precision Binary Floating-Point Library With Correct Rounding Laurent Fousse, Guillaume Hanrot, Vincent Lef`evre, Patrick P´elissier, Paul Zimmermann LORIA, 615 rue du jardin botanique, FVillers- DocID: 1rtij - View Document
	19 CPRemove description of retired Big Endian Transfer syntax 1 DocID: 1rsoR - View Document