-
Numerical program analysis and testing
Z Gao - Proceedings of the 22nd ACM SIGSOFT International ..., 2014 - dl.acm.org
... Affine arithmetic, introduced by Comba and Stolfi in 1993 [5], is a model for numerical ...
Goubault first applied affine arithmetic to abstract interpretation in 2001 [12], intending to statically ...
Coverage of uncertainties in cyber-physical systems
W Chipman, C Grimm... - ZuE 2015; 8. GMM/ITG/GI ..., 2015 - ieeexplore.ieee.org
... Among several approaches to compute with ranges, Affine Arithmetic (eg [4, 14]) offers a
good tradeoff between efficiency and accuracy if used for computations. An Affine Arithmetic ...
Interval analysis of the wing divergence
Y Li, T Wang - Aerospace Science and Technology, 2018 - Elsevier
... In order to limit the overestimation the generalized interval analysis [13] and the affine arithmetic
[14] have been introduced by researchers. In the last ... An introduction to affine arithmetic ...
A Verified ODE Solver and Smale's 14th Problem
F Immler - 2018 - mediatum.ub.tum.de
... For the implementation, I chose data structures and algorithms that are amenable to formal
verification while at the same time exhibiting reasonable performance: affine arithmetic for ...
RECOMMENDER TECHNIQUES FOR SOFTWARE WITH RESULT VERIFICATION
EP UNCECOMP, M Papadrakakis, V Papadopoulos... - files.eccomasproceedia.org
... Methods with result verification such as interval analysis or affine arithmetic have been
used successfully at least since the 1970s not only for dealing with the automated proofs that ...
Sampling implicit objects with physically-based particle systems
LH De Figueiredo, J Gomes - Computers & Graphics, 1996 - Elsevier
... Alternatively, we can perform a coarse enumeration using interval or affine arithmetic to
locate regions guaranteed to contain pieces of V; the initial sample can then be taken in these ...