#### Filter Results:

- Full text PDF available (3)

#### Publication Year

1997

2001

- This year (0)
- Last 5 years (0)
- Last 10 years (0)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Brigitte Verdonk, Annie A. M. Cuyt, Dennis Verschaeren
- ACM Trans. Math. Softw.
- 2001

The IEEE 754 and 854 standards for floating-point arithmetic are essentially a specification of a programming environment, encompassing aspects from computer hardware, operating systems, and compilers to programming languages (see especially Section 8). Parts I and II of this paper together describe a tool to test floating-point implementations of arbitrary… (More)

- Brigitte Verdonk, Annie A. M. Cuyt, Dennis Verschaeren
- ACM Trans. Math. Softw.
- 2001

This paper introduces a precision- and range-independent tool for testing the compliance of hardware or software implementations of (multiprecision) floating-point arithmetic with the principles of the IEEE standards 754 and 854. The tool consists of a driver program, offering many options to test only specific aspects of the IEEE standards, and a large set… (More)

- Dennis Verschaeren, Annie A. M. Cuyt, Brigitte Verdonk
- SIGPLAN Notices
- 1997

During the past decade the IEEE 754 standard for binary floating-point arithmetic has been very successful. Many of today's hardware platforms conform to this standard and compilers should make floating-point functionality available to programmers through high-level programming languages. They should also implement certain features of the IEEE 754 standard… (More)

This report introduces a precision independent tool for testing the compliance of hardware or software implementations of oating-point arithmetic with the principles of the IEEE standards 754 and 854. The tool consists of a driver program, ooering many options to test only speciic aspects of the IEEE standard, and a large set of test vectors, encoded in a… (More)

- ‹
- 1
- ›