Data processing: software development – installation – and managem – Software program development tool – Testing or debugging
Reexamination Certificate
2004-02-23
2008-11-04
Dam, Tuan Q. (Department: 2192)
Data processing: software development, installation, and managem
Software program development tool
Testing or debugging
C717S127000, C717S128000, C708S495000
Reexamination Certificate
active
07448026
ABSTRACT:
A method for accuracy-aware analysis of a program involving obtaining source code for the program comprising a floating point variable, instrumenting the source code to associate an accuracy-aware tracking structure with the floating-point variable to obtain instrumented source code, compiling to instrumented source code to obtain instrumented compiled code, and executing the instrumented compiled code, wherein executing the instrumented compiled code comprises using the accuracy-aware tracking structure to track an operation on the floating-point variable.
REFERENCES:
patent: 6085029 (2000-07-01), Kolawa et al.
patent: 6769115 (2004-07-01), Oldman
patent: 2005/0091645 (2005-04-01), Chilimbi et al.
Aberth et al., Precise Computation Using Range Arithmetic, via C++, AVM Transaction on Mathematical Software, vol. 19, No. 4, Dec. 1992, pp. 481-491.
W. Kahan, Lecture Notes on the Status of IEEE Standared 754 for Binary Floating-Point Arithmetic, [Retrieved online]<http://www.cs.berkeley.edu/˜wkahan/ieee754status/IEEE754.PDF>, Oct. 1997, p. 1-30.
Stolfi et al., Self-Validated Numerical Methods and Application, chapter 1 Introduction, May 1997, p. 1-13.
IEEE 754 floating-point test software, Dec. 2003, {Retrieved online] <http://web.archive.org/web/20031204150126/http://www/math.utah.edu/˜beebe/software> pp. 1-16.
Fang Et al., “Floating-Point Error Analysis Based on Affine Arithmetic”, IEEE 2003, pp. 561-564.
David Goldberg, “What Every Computer Scientist Should Know About Floating-Point Arithmetic”, ACN Computering Surveys. vol. 23, No. 1, Mar. 1991, pp. 1-48.
Gustafson John L.
Gustafson Phyllis E.
Dam Tuan Q.
Osha•Liang LLP
Sun Microsystems Inc.
Wei Zheng
LandOfFree
Method and apparatus for accuracy-aware analysis does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and apparatus for accuracy-aware analysis, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for accuracy-aware analysis will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4038795