Numerical data representations for FPGA-based scientific computing
G Constantinides, A Kinsman... - IEEE Design & Test of ..., 2011 - ieeexplore.ieee.org
... In an effort to capture variable correlations, and thereby produce more efficient representations,
Fast interval-valued statistical modeling of interconnect and effective capacitance
JD Ma, RA Rutenbar - ... on Computer-Aided Design of Integrated ..., 2006 - ieeexplore.ieee.org
... , using the affine arithmetic that ... affine arithmetic do a workable job of modeling the most likely part of the real distribution. As explained in Section II-B, however, the new affine arithmetic ...
Programming with numerical uncertainties
E Darulova - 2014 - infoscience.epfl.ch
... Affine arithmetic computation turns out to be an improvement, and this thesis shows its first use that is compatible with floating points. Unfortunately, it is not only that the errors ...
APPROXIMATING COUPLER CURVES USING STRIP TREES
R Vaca, J Aranda - congress.cimne.com
... In this work, we show how to compute a strip tree representation for general coupler curves, using affine arithmetic (see [3][4]) to find a good bounding geometry. Instead of bounding ...
Advances in formal methods for the design of analog/mixed-signal systems
V Dubikhin, C Myers, D Sokolov... - 2017 54th ACM ..., 2017 - ieeexplore.ieee.org
... simulation approach utilizing affine arithmetic to allow the ... Another approach using affine
A distributed Kalman filter with symbolic zonotopes and unique symbols provider for robust state estimation in CPS
C Combastel, A Zolghadri - International Journal of Control, 2020 - Taylor & Francis
... Apart from the probabilistic framework, Definition 6.1 has close links with affine arithmetic in the scalar case n = 1 for which matrices with labelled columns become vectors with labelled ...
Tagged error: tracing numerical error through computations
N Demeure, C Chevalier, C Denis... - 2021 IEEE 28th ..., 2021 - ieeexplore.ieee.org
... This extension, which we call tagged error, is inspired by affine arithmetic [12] and lets us track the evolution, amplification or dampening, of the numerical error produced by various ...
A Multi-objective Optimization Framework for Robust IC Parametric Yield Predication Under Process Variations
X LI, J SUN, F XIAO, J TIAN - ACTA ELECTONICA SINICA, 2016 - ejournal.org.cn
... Then considering the negative correlation between the metrics, we employ Chebyshev
Verified distance computation between non-convex superquadrics using hierarchical space decomposition structures
S Kiel, W Luther, E Dyllong - Soft Computing, 2013 - Springer
... , where denoted, natural extension with affine arithmetic. The contracting tree is configured to first evaluate the implicit function with affine arithmetic, then to construct the ILIE enclosure ...
Stochastic Analysis of Gas-Electricity Hybrid Grid Using Nataf Transformation Combined with Point Estimation Method
S Balaei-sani, F Jabari... - Integration of Clean and ..., 2020 - Springer
... , evidence theory and affine arithmetic which are merged together are applied. In order to deal with correlation between variables, copula theory and affine arithmetic are utilized. ...
Generated on 2022-05-21 12:15:46 by cleanup_scholar_page_pass_1.sh