Automated roundoff error analysis of probabilistic floating-point computations
We present a detailed study of roundoff errors in probabilistic floating-point computations. We derive closed-form expressions for the distribution of roundoff errors associated with a random variable, and we prove that roundoff errors are generally ...
Constantinides, G +7 more
core +1 more source
A modified low roundoff digital oscillator design [PDF]
, 2008 The work of this thesis is to summarize and compares the existing digital oscillator design methods and combine them to form a modified structure for oscillator design. First of all, a combined structure of complex oscillator design is proposed.
Lan, Zhen
core +1 more source
Roundoff Noise Minimization Using Delta-operator Realizations
, 1993 We examine the possible advantages of using delta operator state space realizations rather than shift operator realizations of transfer functions in terms of minimizing the roundoff noise gain of the realization.
Gevers, Michel, Li, G.
core +1 more source
Numerically stable form factor of any polygon and polyhedron. [PDF]
J Appl Crystallogr, 2021 Wuttke J.
europepmc +1 more source
Combining Testing and Static Analysis to Overflow and Roundoff Error Detection [PDF]
, 2010 This paper proposes a technique for automaticdetection of overflow and roundoff errors, causedby the floating-point number to fixed-point number conversion.
Do, Ngoc Thi Bich, Ogawa, Mizuhito
core +1 more source
Non-linear System of Multi-order Fractional Differential Equations: Theoretical Analysis and a Robust Fractional Galerkin Implementation. [PDF]
J Sci Comput, 2022 Faghih A, Mokhtary P.
europepmc +1 more source
Onsager: Roundoff error update
, 2016 <p>Corrects for roundoff error caused by very large omega2 rates; additional update to automator to include Makefile.</p ...
Dallas Trinkle, Abhinav Jain
core +1 more source
GNSS Precise Relative Positioning Using A Priori Relative Position in a GNSS Harsh Environment. [PDF]
Sensors (Basel), 2021 Kim E.
europepmc +1 more source
Propagation of roundoff errors in finite precision computations: a semantics approach
, 2002 . We introduce a concrete semantics for floating-point operations which describes the propagation of roundoff errors throughout a interpretation which can be straightforwardly derived from it.
Cea Recherche Technologique +1 more
core
PROBABILISTIC ERROR ANALYSIS FOR INNER PRODUCTS. [PDF]
SIAM J Matrix Anal Appl, 2020 Ipsen ICF, Zhou H.
europepmc +1 more source