Back to Results
First PageMeta Content
Numbers / Floating point / Long double / IEEE 754-2008 / Signed zero / X87 / Rounding / Intel / Single-precision floating-point format / Computer arithmetic / Computer architecture / Computing


The pitfalls of verifying floating-point computations David Monniaux
Add to Reading List

Document Date: 2008-05-22 05:34:25

Open Document

File Size: 483,97 KB

Share Result on Facebook

Company

AMD / Intel / Microsoft / /

Currency

AMD / /

IndustryTerm

software context / i486 processors / embedded systems / fly-by-wire software / numerical algorithms / analysis software / aerospace systems / verification systems / /

OperatingSystem

Microsoft Windows / BSD / Linux / GNU/Linux / /

Organization

U.S. Securities and Exchange Commission / /

Person

David Monniaux / /

Position

mp / author / application writer / applied mathematician / programmer / /

Product

Intel r 64 / /

ProgrammingLanguage

C / Java / C++ / /

Technology

1.1 x87 floating-point unit Processors / i486 processors / ItaniumTM processor / operating systems / Java / 4 processor / Linux / 8086 processor / floating-point processing algorithms / /

URL

http /

SocialTag