References in raw/Page_73.html

-
A study on vectorisation and paralellisation of the monotonicity approach
I Skalna, J Duda - Parallel Processing and Applied Mathematics, 2016 - Springer
... can be easily reduced to affine-linear using affine arithmetic [1]. Therefore, the following ... ,
the approach based on affine arithmetic is worth considering as it is simple and quite efficient. ...
Fast interval-valued statistical interconnect modeling and reduction
JD Ma, RA Rutenbar - ... of the 2005 international Symposium on Physical ..., 2005 - dl.acm.org
... At CMU, we thank Claire Fang for many useful insights into affine arithmetic, and Larry
Pileggi and Xin Li for providing RICE4/5 and many useful insights into fast model reduction. This ...
An optimizing compiler for automatic shader bounding
P Clarberg, R Toth, J Hasselgren... - Computer Graphics ..., 2010 - Wiley Online Library
... [[HSS98]] compute bounds on procedural RenderMan shaders using affine arithmetic for
sampling purposes. They note that affine arithmetic should not be used for expressions ...
Mathematically rigorous global optimization in floating-point arithmetic
SM Rump - Optimization Methods and Software, 2018 - Taylor & Francis
This paper gives details on how to obtain mathematically rigorous results for global
unconstrained and equality constrained optimization problems, as well as for finding all roots of a ...
Recent trends in power management strategies for optimal operation of distributed energy resources in microgrids: A comprehensive review
SK Rangu, PR Lolla... - ... Journal of Energy ..., 2020 - Wiley Online Library
... Affine arithmetic (AA) method is used to design an isolated MG in Reference 56 to compute
the noise symbols values in affine forms, and it has obtained in a real-time dispatch with cost-...
Threshold-guided design and optimization for harris corner detector architecture
BA Jasani, SK Lam, PK Meher... - IEEE Transactions on ..., 2017 - ieeexplore.ieee.org
... Affine arithmetic based methods overcome the limitations of ... of interval arithmetic and

Validated explicit and implicit Runge-Kutta methods
A Chapoutot, JAD Sandretto... - Small ..., 2015 - hal-ensta-paris.archives-ouvertes.fr
The guaranteed solution of initial value problem of ordinary differential equations is well studied
from interval analysis community. In the most of the cases Taylor models are used in this ...
Code verification by static analysis: a mathematical programming approach
J Leconte, S Le Roux, L Liberti, F Marinelli - 2009 - academia.edu
... affine arithmetic, we get a MILP that we can solve exactly. If the computer program has integer
non-affine arithmetic, ... If the computer program has floating point affine arithmetic, we can ...
Interval computations and their possible use in estimating accuracy of the optimization-based reconstruction of the early Universe
V Kreinovich - International Workshop “At the Interface of ..., 2009 - researchgate.net
... Affine arithmetic: we start with x = 0.5 − ∆x + [0,0]; • r1 := 1 − (0.5 − ∆) = 0.5+∆x; • r2 := (0.5 −
∆x) · (0.5+∆x), ... Accuracy: affine arithmetic leads to more accurate ranges. • Computation time: ...
Symbolic noise analysis approach to computational hardware optimization
A Ahmadi, M Zwolinski - 2008 45th ACM/IEEE Design ..., 2008 - ieeexplore.ieee.org
... A basic implementation of this method is known as Affine Arithmetic (AA). In this method, unlike
... An Affine Arithmetic error model is employed for error propagation in the data flow graph ...