B Xia, L Wang - Engineering Structures, 2018 - Elsevier
... The extra unitary interval e ̂ j I = [ - 1 , 1 ] is developed from the affinearithmetic, which can
overcome the main limits of affinearithmetic [43]. The more information about the property of ...
... In affinearithmetic, we start with x = 0.5 − ∆x +[0,0], then compute r1 := 1 − (0.5 − ∆x) = 0.5 +
∆... In particular, affinearithmetic may lead to excess width. How to get more accurate estimates...
JHC Yeung, EFY Young, PHW Leong - Proceedings of the 19th ACM ..., 2011 - dl.acm.org
... Static analysis using affinearithmetic can also be used to estimate the propagation of ...
A method for static analysis of floating point error based on affinearithmetic is proposed in ...
... Abstract: From its introduction in the last decade, affinearithmetic (AA) has shown beneficial
properties to speed up the time of computation procedures in a wide variety of areas. In the ...
E Darulova, V Kuncak - ACM Transactions on Programming Languages ..., 2017 - dl.acm.org
... The function σ is instantiated with the affinearithmetic-based procedure from Section 5.1.
Since roundoff errors are generally small, we found affinearithmetic suitable for this purpose. ...
... For the in-logic evaluation in Coq we show range analysis in interval and affinearithmetic,
for all other runs we use interval arithmetic. As for the accuracy evaluation, benchmarks ...
In this paper, an approach able to evaluate approximate explicit expressions of interval
response statistics and structural reliability of randomly excited linear structures with uncertain ...
BA Yoxall, J Langley, R Janson... - ... and Science: An ..., 2006 - Wiley Online Library
... Affinearithmetic is actually a more flexible simplification of the proposed by Hansen (1975).The
basic idea of affinearithmetic ... are necessary, affinearithmetic returns tighter bounds on ...
Generated on 2022-05-21 12:15:46 by cleanup_scholar_page_pass_1.sh