validlab home page http://www.validlab.com

This web site contains technical information related to:

• system correctness evaluation
• system performance evaluation
• IEEE 754 floating-point arithmetic

• What Every Computer Scientist Should Know about Floating-Point Arithmetic, by David Goldberg - as published by ACM TOMS
• What Every Computer Scientist Should Know about Floating-Point Arithmetic, by David Goldberg - as edited and republished by Sun
• D.11 Differences Among IEEE 754 Implementations, by Doug Priest, originally written as a Sun supplement to the Goldberg paper.

Other technical information available here:

• Technical reports by David Hough.
• Trigonometric Argument Reduction by K-C Ng
  • ASCII
  • Postscript
  • PDF
• Java - discussions of numerical issues in the Java language and virtual machine.
• Alex Liu's thesis and BEEF docmentation.
• software to download.
• numeric-interest AT ucbtest.org mailing list information.
• IEEE Arith Conferences.
• 754R revision activity.

• Netlib software repository.
• Sun Microsystems Numerical Computation Guide online.
• Prof. W. Kahan.
• Prof. J.-M. Muller.
• Table-maker's dilemma.
• John Hauser.
• Interval Arithmetic.

• Studies in Administration after C. Northcote Parkinson, serious and humorous.
• Photographs.