… In this paper, we adopt a static-analysis technique based on affine arithmetic (AA) [13]
and analytical error models to optimize both ranges and precisions for the signals in a fixedpoint …

… First, the data dynamic range is evaluated with interval arithmetic or affine arithmetic
guaranteeing no overflow occurrence. This step gives a maximum value wIA for each IWL. Second, …

… This property is analog to the fundamental invariant of affine arithmetic. … As consequence
of the fundamental invariant of affine arithmetic, it holds that there is a single assignment of …

Elliptic curve cryptosystems (ECC) have become popular in recent years due to their smaller
key sizes than traditional public key schemes such as RSA. However the gap between the …

… that the bounds computed in this way are very accurate and have no over-conservativeness,
which is suffered by some existing approache, such as interval arithmetic or affine arithmetic…

We propose an arithmetic of function intervals as a basis for convenient rigorous numerical
computation. Function intervals can be used as mathematical objects in their own right or as …

… The condition can be exploited also in affine arithmetic [AKR12] but we do not consider
this here because an affine arithmetic library for the GPU is not available at the moment. …

… The underlying constraint net is a tree network based Affine Arithmetic Decision Diagrams
(… The use of Affine Arithmetic Decision Diagrams on all levels of the tree network also allows …

… [18] and Sofi and Muscolino [19] presented an alternative approach for explicit interval field
to limit the over-conservative results of standard interval FE, by applying an affine arithmetic …

… basis of interval arithmetic and its enhancement in terms of affine arithmetic [11][12]. An
interval description does not permit making statements about which values of the variable are …