Perturbing and evaluating numerical programs without recompilation - The wonglediff way

Software - Practice and Experience

Volumn 35, Issue 4, 2005, Pages 313-322

  Eggert, P R ^a   Parker, D S ^a  

^a University of California   (United States)

Author keywords

Diff; IEEE 754 floating point arithmetic; Numerical instability checking; Random rounding; Rounding modes; Sensitivity analysis

Indexed keywords

COMPUTATION THEORY; DATA STORAGE EQUIPMENT; ERRORS; HTML; MATHEMATICAL MODELS; NUMERICAL ANALYSIS; PERTURBATION TECHNIQUES; RANDOM PROCESSES; SENSITIVITY ANALYSIS; SUPERVISORY AND EXECUTIVE PROGRAMS; UNIX; XML;

DIFF; IEEE-754 FLOATING POINT ARITHMETIC; NUMERICAL INSTABILITY CHECKING; RANDOM ROUNDING; ROUNDING MODES;

PROGRAM COMPILERS;

EID: 15744400260     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/spe.637     Document Type: Article

References (20)

1. Hamming RW. Numerical Methods for Scientists and Engineers. McGraw-Hill: New York, 1962.
2. Kahan WV. The improbability of probabilistic error analyses for numerical computations. UC Berkeley Statistics Colloquium, 28 February 1996, and subsequently revised 4 March 1996 (an earlier version of this lecture was presented at the Third ICIAM Congress, 3-7 July 1995). Available at: http://http.cs.berkeley.edu/~wkahan/improber.ps.
3. Kahan WV. The improbability of probabilistic error analyses for numerical computations. UC Berkeley Statistics Colloquium, 28 February 1996, and subsequently revised 4 March 1996 (an earlier version of this lecture was presented at the Third ICIAM Congress, 3-7 July 1995). Available at: http://http.cs.berkeley.edu/~wkahan/improber.ps.
4. Parker DS, Pierce B, Eggert PR. Monte Carlo Arithmetic: A framework for the statistical analysis of roundoff error. IEEE Computation in Science and Engineering 2000; 2(4):58-68.
5. Parker DS. Monte Carlo Arithmetic: Exploiting randomness in floating-point arithmetic. Technical Report, UCLA Computer Science Department, January 1997. Available at: http://www.cs.ucla.edu/~stott/mca/.
6. Wilkinson JH. Modern error analysis. SIAM Review 1971; 13(4):548-568.
7. Higham NJ. Accuracy and Stability of Numerical Algorithms. SIAM: Philadelphia, PA, 1996.
8. Pierce BA. Applications of randomization to floating-point arithmetic and to linear systems solution. PhD Dissertation, UCLA Computer Science Department, December 1996.
9. Goldberg D. What every computer scientist should know about floating-point arithmetic. Computing Surveys 1991; 23(l):5-48. Available at: http://www.validlab.com/goldberg/paper.pdf.
10. Hunt JW, McIlroy MD. An algorithm for differential file comparison. Comp. Sci. Technical Report No. 41, Bell Laboratories, Murray Hill, NJ, June 1976. Available at: http://www.cs.dartmouth.edu/~doug/diff.ps.
11. Eggert PR. GNU diff version 2.8.1. Free Software Foundation, Boston, April 2002. Available at: ftp://ftp.gnu.org/gnu/diffutils/diffutils-2.8.l.tar. gz.
12. American National Standards Institute. IEEE Standard for Binary Floating-point Arithmetic. ANSI/IEEE Std 754-1985, New York, 12 August 1985. See also: An American National Standard, IEEE standard for binary floating-point arithmetic. SIGPLAN Notices 1987; 22(2):9-25.
13. American National Standards Institute. IEEE Standard for Binary Floating-point Arithmetic. ANSI/IEEE Std 754-1985, New York, 12 August 1985. See also: An American National Standard, IEEE standard for binary floating-point arithmetic. SIGPLAN Notices 1987; 22(2):9-25.
14. Kahan WV. Lecture Notes on the Status of IEEE Standard 754 for Binary Floating-Point Arithmetic (work in progress), Department of Electrical Engineering & Computer Science, UC Berkeley, dated 31 May 1996. Available at: http://http.cs.berkeley.edu/~wkahan/ieee754status/ieee754.ps.
15. Gusfield D. Algorithms on Strings, Trees, and Sequences: Computer Science and Computational Biology. Cambridge University Press: New York, 1997.
16. Neuwirth CM et al. Flexible Diff-ing in a collaborative writing system. Proceedings of the Conference on Computer-Supported Cooperative Work (CSCW '92), Toronto, 31 October-4 November 1992, Turner J, Kraut R (eds.). ACM: New York, 1992; 147-154.
17. Jackson D, Ladd DA. Semantic Diff: A tool for summarizing the effects of modifications. Proceedings of the International Conference on Software Maintenance, Victoria, BC, Canada, 19-23 September 1994, Muller MA, Georges M (eds.). IEEE Computer Society Press: Los Alamitos, CA, 1994; 243-252.
18. Yoshida A, Yamamoto S, Agusa K, Semantic Diff. Transactions of the Information Processing Society of Japan 1997; 38(6): 1163-1171.
19. Chawathe SS, Rajaraman A, Garcia-Molina H, Widom J. Change detection in hierarchically structured information. Proceedings of the 1996 ACM SIGMOD, SIGMOD Record 1996; 25(12):493-504.
20. Crandall RE. Projects in Scientific Computation. TELOS, The Electronic Library of Science: Santa Clara, CA, 1994.