References in raw/Page_68.html

-
Crowd Dynamics by Kinetic Theory Modeling: Complexity, Modeling, Simulations, and Safety
B Aylaj, N Bellomo, L Gibelli... - Synthesis Lectures on ..., 2020 - morganclaypool.com
The contents of this brief Lecture Note are devoted to modeling, simulations, and applications
with the aim of proposing a unified multiscale approach accounting for the physics and the ...
Verification and validation of AMS systems: Towards coverage of uncertainties
C Grimm, C Radojicic - 2015 IEEE 20th International Mixed ..., 2015 - ieeexplore.ieee.org
... In [48] the run-time complexity of symbolic/abstract simulation with Affine Arithmetic is
analyzed. It is shown that memory complexity is k + 2, and an overhead in run-time compared with ...
Generalized intervals and the dependency problem
W Krämer - PAMM: proceedings in applied mathematics and ..., 2006 - Wiley Online Library
Computing enclosures of the range of functions using interval arithmetic often leads to
overestimations due to variables (parameters) appearing more than once within the expression to ...
On the Design and Implementation of SmartFloat and AffineFloat
E Darulova, V Kuncak - 2011 - infoscience.epfl.ch
... On the other hand, using our affine-arithmeticbased type we compute an absolute error
of 1.34 ∗ 10−15, which is (by the correctness of our approach) sound, yet several orders of ...
Efficient floating-point implementation of signal processing algorithms on reconfigurable hardware
TV Huynh - 2012 - spsc.tugraz.at
... We use Affine Arithmetic (AA) for modeling the rounding errors of floating-point computations.
The derived rounding error bound by the AA-based error model is then used to determine ...
An automated framework for accelerating numerical algorithms on reconfigurable platforms using algorithmic/architectural optimization
JS Kim, L Deng, P Mangalagiri, K Irick... - IEEE Transactions ..., 2009 - ieeexplore.ieee.org
This paper describes TANOR, an automated framework for designing hardware accelerators
for numerical computation on reconfigurable platforms. Applications utilizing numerical ...
Select Ideas in Partial Differential Equations
PJ Costa - Synthesis Lectures on Mathematics and Statistics, 2021 - morganclaypool.com
This text provides an introduction to the applications and implementations of partial differential
equations. The content is structured in three progressive levels which are suited for upper...
Characterization of the quantization properties of similarity-related DSP structures by means of interval simulations
JA López, G Caffarena, C Carreras... - The Thrity-Seventh ..., 2003 - ieeexplore.ieee.org
... One of these extensions is the so-called affine arithmetic [16], which incorporates the
signed amplitude of all the noise sources in the descriptions of all elements. Affine arithmetic ...
Automatic pre-tessellation culling
J Hasselgren, J Munkberg... - ACM Transactions on ..., 2009 - dl.acm.org
... We will illustrate how interval and affine arithmetic compare to our tight polynomial bounds
when computing a two-dimensional axis-aligned bounding box of this curve over the domain, ...
Performance Bound Analysis of Analog Circuits Considering Process Variations
G Shi, SXD Tan, E Tlelo Cuautle - Advanced Symbolic Analysis for VLSI ..., 2014 - Springer
... the bounds computed in this way are very accurate and have no over-conservativeness,
which are suffered by some existing approaches such as interval arithmetic or affine arithmetic ...