Results 21 to 30 of about 70,095 (287)
Journal of Advances in Modeling Earth Systems, 2020 The need for high‐precision calculations with 64‐bit or 32‐bit floating‐point arithmetic for weather and climate models is questioned. Lower‐precision numbers can accelerate simulations and are increasingly supported by modern computing hardware.
M. Klöwer, P. D. Düben, T. N. Palmer
doaj +1 more source
Optimal Controller and Filter Realisations using Finite-precision, Floating- point Arithmetic. [PDF]
, 2005 The problem of reducing the fragility of digital controllers and filters implemented using finite-precision, floating-point arithmetic is considered.
Chen, Sheng +3 more
core +1 more source
FAST ROBUST ARITHMETICS FOR GEOMETRIC ALGORITHMS AND APPLICATIONS TO GIS [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2021 Geometric predicates are used in many GIS algorithms, such as the construction of Delaunay Triangulations for Triangulated Irregular Networks (TIN) or geospatial predicates.
T. Bartels, V. Fisikopoulos
doaj +1 more source
Robustness Analysis of Floating-Point Programs by Self-Composition
Journal of Applied Mathematics, 2014 Robustness is a key property for critical systems that run in uncertain environments, to ensure that small input perturbations can cause only small output changes.
Liqian Chen +4 more
doaj +1 more source
High-Performance Computation in Residue Number System Using Floating-Point Arithmetic
Computation, 2021 Residue number system (RNS) is known for its parallel arithmetic and has been used in recent decades in various important applications, from digital signal processing and deep neural networks to cryptography and high-precision computation.
Konstantin Isupov
doaj +1 more source
Mixed abstractions for floating-point arithmetic [PDF]
2009 Formal Methods in Computer-Aided Design, 2009 Floating-point arithmetic is essential for many embedded and safety-critical systems, such as in the avionics industry. Inaccuracies in floating-point calculations can cause subtle changes of the control flow, potentially leading to disastrous errors. In this paper, we present a simple and general, yet powerful framework for building abstractions from ...
Angelo Brillout +2 more
openaire +1 more source
Interval Term Rewriting System: Toward A Formal Model for Interval Computation
Trends in Computational and Applied Mathematics, 2006 We present a term rewriting system for interval arithmetic (addition, subtraction and multiplication), toward a mathematical model for interval compu- tation.
A.X. Carvalho, R.H.N. Santiago
doaj +1 more source
An 826 MOPS, 210 uW/MHz Unum ALU in 65 nm
, 2017 To overcome the limitations of conventional floating-point number formats, an interval arithmetic and variable-width storage format called universal number (unum) has been recently introduced.
Benini, Luca +5 more
core +1 more source
Radix Conversion for IEEE754-2008 Mixed Radix Floating-Point Arithmetic [PDF]
, 2013 Conversion between binary and decimal floating-point representations is ubiquitous. Floating-point radix conversion means converting both the exponent and the mantissa.
Kupriianova, O. +2 more
core +4 more sources
Fused floating-point arithmetic for DSP [PDF]
2008 42nd Asilomar Conference on Signals, Systems and Computers, 2008 This paper extends the consideration of fused floating-point arithmetic to operations that are frequently encountered in DSP. The fast Fourier transform is a case in point, it uses a complex butterfly operation. For a radix-2 implementation, the butterfly consists of a complex multiply followed by the complex addition and subtraction of the same pair ...
Earl E. Swartzlander Jr., Hani H. Saleh
openaire +1 more source