Improved range analysis in fixed-point polynomial data-path
M Grailoo, B Alizadeh… - IEEE Transactions on …, 2017 - ieeexplore.ieee.org
In range analysis (RA), suitable integer bit-widths are assigned to the variables so that no
overflow occurs. Although the accuracy in RA rather than error analysis has more impact on …
overflow occurs. Although the accuracy in RA rather than error analysis has more impact on …
Prognosis under uncertainty–An idealised computational case study
K Worden, G Manson - Shock and Vibration, 2008 - content.iospress.com
… Another advantage of affine arithmetic is the inclusion of an approximation error term
which can be readily converted into upper and lower estimates of the conservatism within the …
which can be readily converted into upper and lower estimates of the conservatism within the …
An algorithm for the tracing problem using interval analysis
B Denner-Broser - Proceedings of the 2008 ACM symposium on Applied …, 2008 - dl.acm.org
… The usage of affine arithmetic might reduce this problem [3]. … comments and for pointing
out the relation to affine arithmetic. … Affine arithmetic: Concepts and applications. Numerical …
out the relation to affine arithmetic. … Affine arithmetic: Concepts and applications. Numerical …
A fast and fuzzy functional simulator of inexact arithmetic operators for approximate computing systems
J Bonnot, K Desnos, M Pelcat, D Menard - … of the 2018 on Great Lakes …, 2018 - dl.acm.org
… To overcome the pessimistic bounds given by IA, Affine Arithmetic (AA)takes into account
the first order dependencies between variables [5]. Nevertheless, these techniques do not give …
the first order dependencies between variables [5]. Nevertheless, these techniques do not give …
GPU-accelerated high-level synthesis for bitwidth optimization of FPGA datapaths
N Kapre, D Ye - Proceedings of the 2016 ACM/SIGDA International …, 2016 - dl.acm.org
… As part of future work, we intend to extend this work to support Monte-Carlo sampling-based
methods and integrate Affine Arithmetic models. Our framework is available for download …
methods and integrate Affine Arithmetic models. Our framework is available for download …
Automatic Design Space Exploration for an Error Tolerant Application
S Coward, T Drane, Y Harel - 2020 IEEE 27th Symposium on …, 2020 - ieeexplore.ieee.org
… Overcoming this limitation, Affine Arithmetic was introduced (AA) which keeps first order
correlations between variables, [2]. This has been further improved by considering Arithmetic …
correlations between variables, [2]. This has been further improved by considering Arithmetic …
On computing envelopes for discrete-time linear systems with affine parametric uncertainties and bounded inputs
C Combastel, SA Raka - IFAC Proceedings Volumes, 2011 - Elsevier
The computation of envelopes enclosing the possible states and/or outputs of a class of
uncertain linear dynamical systems is the subject of this paper. The resulting algorithm can be …
uncertain linear dynamical systems is the subject of this paper. The resulting algorithm can be …
Visualizing arcs of implicit algebraic curves, exactly and fast
P Emeliyanenko, E Berberich, M Sagraloff - International Symposium on …, 2009 - Springer
… Affine arithmetic in matrix form for polynomial evaluation and algebraic curve drawing. …
Extensions of Affine Arithmetic: Application to Unconstrained Global Optimization. Journal of …
Extensions of Affine Arithmetic: Application to Unconstrained Global Optimization. Journal of …
[PDF][PDF] What's Z− X, when Z= X+ Y? Dependency tracking in interval arithmetic with bivariate sets
A Gray, M De Angelis, S Ferson, E Patelli - 2021 - livrepository.liverpool.ac.uk
In this paper we propose an extension to interval arithmetic to include arithmetic with bivariate
sets, which allows for an initial dependency to be propagated, as well as the tracking of …
sets, which allows for an initial dependency to be propagated, as well as the tracking of …
A voltage fluctuation assessment method based on interval arithmetic for wind farm
Z Li, J Pan, Z Shao - 2014 China International Conference on …, 2014 - ieeexplore.ieee.org
… Reference [2 6] introduces affine arithmetic theory to shorten the gap between the upper
and lower boundaries, based on interval algorithm. But multiplication and division operation of …
and lower boundaries, based on interval algorithm. But multiplication and division operation of …