SR Kuang, KY Wu - Arabian Journal for Science and Engineering, 2015 - Springer
... To easily set and check the accuracy constraint, we first build an affinearithmetic based
error model to evaluate the overall output accuracy loss caused by inaccurate FP MOPs. ...
... easily deploying any kind of interval/affinearithmetic based range analyses in the DSL
compiler. Thirdly, we show that interval/affinearithmetic based techniques fail to take into account ...
... , we use a static analysis based on affinearithmetic to compute an upper bound on the error.
... tions in using static analysis based on affine-arithmetic, but our search method works with ...
F Bidet, É Goubault, S Putot - lix.polytechnique.fr
... First, the Taylor models are not built and evaluated in affinearithmetic like in our approach.
Moreover, the physical time of the system is not directly accessible to evaluate transitions’ ...
A Krause, M Olbrich, E Barke - 2014 6th Computer Science ..., 2014 - ieeexplore.ieee.org
... INTERVAL-VALUED SUPPORT VECTOR MACHINES From the definition of affinearithmetic
we formulate the following conditions for the creation of behavioral models: 1) Parameters ...
L Ge, H Liu, J Yan, X Zhu, S Zhang... - IEEE Transactions on ..., 2021 - ieeexplore.ieee.org
... Compared to the stochastic optimization and interval methods, the affinearithmetic approach
can effectively tackle the deterministic data and interval conservatism by modeling the DG ...
Q Zhou, Y Zou, Y Cai, X Hong - APCCAS 2006-2006 IEEE Asia ..., 2006 - ieeexplore.ieee.org
... It inspires us that a computer arithmetic which is similar to affinearithmetic, the arithmetic
based on Taylor polynomials, may provide a unified solution for variational analysis, also it may ...