… Affine arithmetic represents a background mathematics theory for multiple applications,
including, recently, for error estimation for signal processing systems. This paper introduces …

… The application of affine arithmetic to some of the problems mentioned above has shown that
it can be … Affine arithmetic has been successfully implemented in the following algorithms: …

… approximations of transcendental functions) and affine arithmetic, including verified algorithms
for … in the sense that respective operations in eg affine arithmetic always enclose the “real” …

… First, the compiler statically analyzes the program in a single pass using a recently
developed tool that uses affine arithmetic modeling [1]. Then, in the global mode, the compiler …

… 2) Affine arithmetic: The second group of formal methods uses some form of affine … An
extension to affine arithmetics is introduced in [5], [6] as the Extended Affine Arithmetic Form (XAAF)…

… This technique is based on the affine arithmetic, which is not … Affine arithmetic was introduced
in 1993 by Comba and Stolfi… Messine in [2] has proposed an extended affine arithmetic, …

… that affine arithmetic… affine arithmetic, it is desirable to come up with computations which
are less time consuming that quadratic Taylor technique, but more accurate than affine arithmetic…

… In this paper the usefulness: of Affine Arithmetic and Genetic Algorithms in hard circuit
TWC-TSA problems has been proved. The examples proposed show that, both in apparently …

… It is based on interval arithmetic and affine arithmetic. The main feature of IBEX is its ability
to build strategies declaratively through the contractor programming paradigm. It can also be …

… The major contributions of this paper are a new iterative spatial traversal algorithm for
implicit intersection; and an efficient implementation of a correct reduced affine arithmetic (RAA) …