M. Vincius, A. Andrade, J. L. D. Comba, and J. Stolfi. Affine arithmetic, March 1994. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Static analyses of floating-point operations - Goubault (2001) (Correct)
....values. 3.1 Domain of affine forms The idea here is to trace instructions (or locations in the program) that create round off errors. We associate with each location and variable the way this control point makes the variable lose precision. This is loosely based on ideas from affine arithmetic [VACS94] used in simulation of programs, not in static analysis) 5 One could actually use multi precision numbers instead of IEEE 754 double or extended double types for representing intervals in the static analyzer. 6 This is an example taken from a seminar by Alain Deutsch in 1998. 8 The ....
M. Vincius, A. Andrade, J. L. D. Comba, and J. Stolfi. Affine arithmetic, March 1994.
Affine arithmetic based estimation of cue.. - Goldenstein, Vogler.. (Correct)
....analysis and optimization [9] and computer graphics [25, 10] This approach suffers from overestimation of bounds, and the complete loss of information on how bounds in multidimensional intervals are correlated. More recently, affine arithmetic has been developed to overcome these shortcomings [1, 26]. It has previously been applied to numerical optimization [5, 17, 13] In this paper we apply affine arithmetic to embed deformable models within a statistical framework. This approach allows us to avoid making assumptions about the probability distribution functions, unlike most previous ....
M. Andrade, J. Comba, and J. Stolfi. Affine arithmetic. In Abstracts of the International Conference on Interval and Computer-Algebraic Methods in Science and Engineering (INTERVAL), pages 36--40, 1994.
Online articles have much greater impact More about CiteSeer Add search form to your site Submit documents Feedback
CiteSeer - citeseer.org - Terms of Service - Privacy Policy - Copyright © 1997-2002 NEC Research Institute