Results 21 to 30 of about 4,738,555 (278)
Design and Implementation of POSIT Based Adder and Multiplier in Verilog HDL [PDF]
E3S Web of Conferences, 2023 Due to recent developments, the POSIT number system, winch has been planned as a successor for numbers that are expressed in IEEE floating-point, which are in the focus of advances in arithmetic.
Sanivarapu Rambabu +5 more
doaj +1 more source
Quantum Circuits for Floating-Point Arithmetic [PDF]
, 2018 Quantum algorithms to solve practical problems in quantum chemistry, materials science, and matrix inversion often involve a significant amount of arithmetic operations which act on a superposition of inputs. These have to be compiled to a set of fault-tolerant low-level operations and throughout this translation process, the compiler aims to come ...
Thomas Häner +3 more
openaire +3 more sources
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
Detecting Floating-Point Expression Errors Based Improved PSO Algorithm
IET Software, 2023 The use of floating-point numbers inevitably leads to inaccurate results and, in certain cases, significant program failures. Detecting floating-point errors is critical to ensuring that floating-point programs outputs are proper.
Hongru Yang +4 more
doaj +1 more source
Fused floating-point arithmetic for DSP [PDF]
, 2009 textFloating-point arithmetic is attractive for the implementation for a variety of Digital Signal Processing (DSP) applications because it allows the designer and user to concentrate on the algorithms and architecture without worrying about numerical ...
Saleh, Hani Hasan Mustafa, 1970-
core +1 more source
Floating-Point Arithmetic and Program Correctness Proofs [PDF]
, 1980 This thesis develops tight upper and lower bounds on the relative error in various schemes for performing floating-point arithmetic, proposes axioms for characterizing the significant properties embodied by these schemes, and gives examples to ...
Holm, John E.
core +6 more sources
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
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
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