B. A. Wichmann, Floating-point interval arithmetic for validation, NPL Report DITC 76/86, Oct. 1986. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Information technology -- Language independent arithmetic --.. - Standard (1994) (5 citations) (Correct)
....determination of conformity or non conformity, and d) prevent exceptions (like overflow) from going undetected. A.1. 2 Specifications not within the scope of this part of ISO IEC 10967 There are many arithmetic systems, such as fixed point arithmetic, significance arithmetic, interval arithmetic [33], rational arithmetic, level index arithmetic, slash arithmetic, and so on, which differ considerably from traditional integer and floating point arithmetic, as well as among themselves. Some of these systems, like fixed point arithmetic, are in wide spread use as data types in standard languages; ....
B A Wichmann, Floating-Point Interval Arithmetic for Validation, NPL Report DITC 76/86, 1986.
Information technology - Language independent arithmetic - Part.. - Schaffert (1993) (Correct)
....enable a precise determination of conformity or non conformity. d) prevent exceptions (like overflow) from going undetected. A.1. 2 Specifications not within the scope of this standard There are many arithmetic systems, such as fixed point arithmetic, significance arithmetic, interval arithmetic [37], rational arithmetic, level index arithmetic, slash arithmetic, and so on, which differ considerably from traditional integer and floating point arithmetic, as well as among themselves. Some of these systems, like fixed point arithmetic, are in wide spread use as data types in standard languages; ....
B A Wichmann, Floating-Point Interval Arithmetic for Validation, NPL Report DITC 76/86, 1986
Formal Methods Applied to a Floating Point Number System - Geoff Barrett July (1989) (31 citations) (Correct)
No context found.
B. A. Wichmann, Floating-point interval arithmetic for validation, NPL Report DITC 76/86, Oct. 1986.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC