In addition to specifying details of floating point formats and arithmetic operations, the IEEE 754 and IEEE 854 standards recommend conforming systems include several utility functions to aid in writing portable programs. For example, floating point constants associated with a format, such as the largest representable number, can be generated in a format-independent manner using the recommended functions and a handful of floating point literals. The functions perform useful tasks such as returning the floating point number adjacent to a given value and scaling a floating point number by a power of two. However, the descriptions of the functions are very brief and the two related standards give slightly different specifications for some of ...
In this paper we present a design for a floating point unit partially compliant with the IEEE 754 fl...
Abstract—Automated reasoning tools often provide little or no support to reason accurately and effic...
International audienceThis handbook is a definitive guide to the effective use of modern floating-po...
In addition to specifying details of floating point formats and arithmetic operations, the IEEE 754 ...
1 2. INTRODUCTION 1 2.1. Portability and Purity 2 2.2. Goals of Borneo 3 2.3. Brief Description of a...
This development provides a formal model of IEEE-754 floating-point arithmetic. This formalization, ...
International audienceThis paper presents a multiple-precision binary floating-point library, writte...
Floating-point numbers have an intuitive meaning when it comes to physics-based numerical computatio...
The widely implemented and used IEEE-754 Floating-point specification defines a method by which floa...
The current IEEE-754 floating point standard was adopted 23 years ago. IEEE chartered a committee to...
Verification of programs using floating-point arithmetic is challenging on several accounts. One of ...
this paper. In 1985, the Institute of Electrical and Electronic Engineers published IEEE Standard 75...
The floating point standard IEEE 754 is widely implemented, but many of its capabilities are not wel...
Floating-point computations are quickly finding their way in the design of safety- and mission-criti...
The floating point standard IEEE 754 is widely implemented, but many of its capabilities are not wel...
In this paper we present a design for a floating point unit partially compliant with the IEEE 754 fl...
Abstract—Automated reasoning tools often provide little or no support to reason accurately and effic...
International audienceThis handbook is a definitive guide to the effective use of modern floating-po...
In addition to specifying details of floating point formats and arithmetic operations, the IEEE 754 ...
1 2. INTRODUCTION 1 2.1. Portability and Purity 2 2.2. Goals of Borneo 3 2.3. Brief Description of a...
This development provides a formal model of IEEE-754 floating-point arithmetic. This formalization, ...
International audienceThis paper presents a multiple-precision binary floating-point library, writte...
Floating-point numbers have an intuitive meaning when it comes to physics-based numerical computatio...
The widely implemented and used IEEE-754 Floating-point specification defines a method by which floa...
The current IEEE-754 floating point standard was adopted 23 years ago. IEEE chartered a committee to...
Verification of programs using floating-point arithmetic is challenging on several accounts. One of ...
this paper. In 1985, the Institute of Electrical and Electronic Engineers published IEEE Standard 75...
The floating point standard IEEE 754 is widely implemented, but many of its capabilities are not wel...
Floating-point computations are quickly finding their way in the design of safety- and mission-criti...
The floating point standard IEEE 754 is widely implemented, but many of its capabilities are not wel...
In this paper we present a design for a floating point unit partially compliant with the IEEE 754 fl...
Abstract—Automated reasoning tools often provide little or no support to reason accurately and effic...
International audienceThis handbook is a definitive guide to the effective use of modern floating-po...