Narrow your search
Listing 1 - 10 of 31 << page
of 4
>>
Sort by

Book
ANSI/IEEE Std 854-1987 : IEEE standard for radix-independent floating-point arithmetic
Author:
ISBN: 0738111678 Year: 1987 Publisher: New York, New York : IEEE,

Loading...
Export citation

Choose an application

Bookmark

Abstract

A family of commercially feasible ways for new systems to perform floating-point arithmetic is defined. This standard specifies constraints on parameters defining values of basic and extended floating-point numbers; add, subtract, multiply, divide, square root, remainder, and compare operations; conversions between integers and floating-point numbers; conversions between different floating-point precisions; conversion between basic precision floating-point numbers and decimal strings; and floating-point exceptions and their handling, including nonnumbers. It is intended that an implementation of a floating-point system conforming to this standard can be realized entirely in software, entirely in hardware, or in any combination of software and hardware. Retrofitting issues are not considered.


Book
Single precision floating point multiplier
Authors: --- ---
ISBN: 3960676557 9783960676553 3960671555 9783960671558 Year: 2017 Publisher: Hamburg Diplomica Verlag :Anchor Academic Publishing

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Formal Verification of Floating-Point Hardware Design
Authors: ---
ISBN: 9783030871819 Year: 2022 Publisher: Cham Springer International Publishing :Imprint: Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

Improving floating-point programming
Author:
ISBN: 0471924377 Year: 1990 Publisher: Chichester : Wiley,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
A high-level formalization of floating-point numbers in PVS
Authors: --- --- ---
Year: 2006 Publisher: Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
A high-level formalization of floating-point numbers in PVS
Authors: --- --- ---
Year: 2006 Publisher: Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
ANSI/IEEE Std 754-1985 : IEEE standard for binary floating-point arithmetic
Author:
ISBN: 0738111651 Year: 1985 Publisher: New York, New York : IEEE,

Loading...
Export citation

Choose an application

Bookmark

Abstract

A family of commercially feasible ways for new systems to perform binary floating-point arithmetic is defined. This standard specifies basic and extended floating-point number formats; add, subtract, multiply, divide, square root, remainder, and compare operations; conversions between integer and floating-point formats; conversions between different floating-point formats; conversions between basic-format floating-point numbers and decimal strings; and floating-point exceptions and their handling, including nonnumbers.


Book
Grundlagen der Computer-Arithmetik
Authors: --- ---
ISBN: 0387814108 Year: 1977 Publisher: Wien : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Grundlagen des numerischen Rechnens : mathematische Begründung der Rechnerarithmetik
Author:
ISBN: 3411015179 Year: 1976 Publisher: Mannheim Bibliographisches Institut

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Map projection induced variations in locations of polygon geofence edges
Authors: --- ---
Year: 2017 Publisher: Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Listing 1 - 10 of 31 << page
of 4
>>
Sort by