Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

   

Research Projects

Remedies for the Undebuggability of Large-Scale Floating-Point Computations

William M. Kahan, James Demmel and Koushik Sen

Sun Microsystems

Numerical anomalies suspected of arising from roundoff or exceptions in large-scale floating-point computations are practically impossible to debug without peculiar capabilities needed in compilers and debuggers.

[1]
www.cs.berkeley.edu/~wkahan/7Oct09.pdf