MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for ""What Every Computer Scientist Should Know About Floating-Point Arithmetic"." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

732,022 documents found, showing 1 through 10. Next 10 →

ATOM

Appendix D What Every Computer Scientist Should Know About FloatingPoint Arithmetic
by Note This Appendix
…What Every Computer Scientist Should Know About Floating-Point Arithmetic Numerical Computation…
Add To MetaCart

What Every Computer Scientist Should Know About Floating-Point Arithmetic
by David Goldberg — 1991 — ACM Computing Surveys
…What Every Computer Scientist Should Know About Floating-Point Arithmetic DAVID GOLDBERG Xerox…
Cited by 224 (0 self) – Add To MetaCart

What Every Computer Scientist Should Know About Floating-Point Arithmetic
by Hm Et Ic
…70 What Every Computer Scientist Should Know About Floating-Point Arithmetic = [(s k - 1 - c k - 1…
Add To MetaCart

What Every Computer Scientist Should Know About Floating-Point Arithmetic D
by unknown authors
…What Every Computer Scientist Should Know About Floating-Point Arithmetic D Note – This document…
Add To MetaCart

WhatEveryComputer Scientist ShouldKnowAboutFloating-Point Arithmetic
by Ic No Te, Arithmetic D — 171
… is an edited reprint of the paper What Every Computer Scientist Should Know About Floating-Point Arithmetic…
Add To MetaCart

What Every Computer Scientist Should Know About Floating Point Arithmetic E
by unknown authors
… is an edited reprint of the paper What Every Computer Scientist Should Know About Floating-Point Arithmetic…
Add To MetaCart

Floating-point verification
by John Harrison — 1995 — International Journal Of Man-Machine Studies
… with floating point arithmetic are within bounds. Every computation in the machine may deviate from its exact…
Cited by 2 (0 self) – Add To MetaCart

On floating-point summation
by T. O. Espelid — 1995 — SIAM Rev
… summation Assume that we have a machine with standard floating-point arithmetic with rounding. Let ˆx denote…
Cited by 3 (0 self) – Add To MetaCart

Dithering for Floating-Point Number Representation
by Rezso Dunay, Istvan Kollar, Bernard Widrow — 1998 — Proc. of 1999 Int. Symp. of
…'s) and floating-point arithmetic are becoming widely used, it is timely to investigate the necessity…
Cited by 1 (0 self) – Add To MetaCart

Floating-point verification using theorem proving
by John Harrison — 2006 — Formal Methods for Hardware Verification, 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, volume 3965 of Lecture Notes in Computer Science
… specifications of how basic floating-point operations should behave. In fact, many operations are specified…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB