Results 31 to 40 of about 88 (59)
Estimation of Round-off Errors on Several Computers Architectures
, 1995 Numerical validation of computed results in scientific computation is always an essential problem as well on sequential architecture as on parallel architecture.
Lamotte,Jean-Luc +5 more
core +1 more source
Towards high performance stochastic arithmetic
, 2014 International audienceBecause of the finite representation of floating-point numbers in computers, the results of arithmetic operations need to be rounded.
Fortin, Pierre +3 more
core +1 more source
Dynamical control of computations using the Trapezoidal and Simpson's rules
, 1998 International audienceIf $I_n$ is the approximation of a definite integral $\int_{a}^{b}f(x)dx$ with step $\frac{b-a}{2^n}$ using the trapezoidal rule (respectively Simpson's rule), if $C_{a,b}$ denotes the number of significant digits common to $a$ and $
Chesneaux, Jean-Marie +3 more
core +1 more source
Associations of Air Pollution and Noise with Local Brain Structure in a Cohort of Older Adults. [PDF]
Environ Health Perspect, 2020 Nußbaum R +7 more
europepmc +1 more source
A validated parallel across time and space solution of the heat transfer equation
, 1999 International audienceIn this paper, we present a parallel across time and space algorithm, based on an implicit collocation method, for the heat transfer equation.
Jézéquel, Fabienne
core +1 more source
Libraries, Tools, and Interactive Systems for Verified Computations: Four Case Studies
, 2003 International audienceAs interval analysis-based reliable computations find wider application, more software is becoming available. Simultaneously, the applications for which this software is designed are becoming more diverse.
Oishi, Shin'ichi +7 more
core +1 more source
Motivations for an arbitrary precision interval arithmetic and the MPFI library [PDF]
, 2002 Nowadays, computations involve more and more operations and consequently errors. The limits of applicability of some numerical algorithms are now reached: for instance the theoretical stability of a dense matrix factorization (LU or QR) is ensured under ...
N. Revol +3 more
core
Amélioration de la fiabilité numérique de codes de calcul industriels
, 2018 Many studies are devoted to performance of numerical simulations. However it is also important to take into account the impact of rounding errors on the results produced.
Picot, Romain
core