Results 11 to 20 of about 7,246 (295)
Hammering Floating-Point Arithmetic
, 2023 AbstractSledgehammer, a component of the interactive proof assistant Isabelle/HOL, aims to increase proof automation by automatically discharging proof goals with the help of external provers. Among these provers are a group of satisfiability modulo theories (SMT) solvers with support for the SMT-LIB input language.
Olle Torstensson, Tjark Weber
openaire +3 more sources
Maximum network flow with floating point arithmetic [PDF]
Information Processing Letters, 1998 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Althaus, E., Mehlhorn, K.
openaire +4 more sources
Exploiting Structure in Floating-Point Arithmetic [PDF]
, 2016 The analysis of algorithms in IEEE floating-point arithmetic is most often carried out via repeated applications of the so-called standard model, which bounds the relative error of each basic operation by a common epsilon depending only on the format. While this approach has been eminently useful for establishing many accuracy and stability results, it
Jeannerod, Claude-Pierre +1 more
openaire +3 more sources
Handbook of Floating-Point Arithmetic [PDF]
, 2010 International audienceThis handbook is a definitive guide to the effective use of modern floating-point arithmetic. Floating-point arithmetic has considerably evolved, from the frequently inconsistent floating-point number systems of early computing to ...
Muller, Jean-Michel +8 more
openaire +3 more sources
Design and Implementation of Numerical Linear Algebra Algorithms on Fixed Point DSPs
EURASIP Journal on Advances in Signal Processing, 2007 Numerical linear algebra algorithms use the inherent elegance of matrix formulations and are usually implemented using C/C++ floating point representation.
Nguyen Ha Thai +2 more
doaj +2 more sources
A unified closed-loop stability measure for finite-precision digital controller realizations implemented in different representation schemes [PDF]
, 2003 A computationally tractable unified finite word length closed-loop stability measure is derived which is applicable to fixed-point, floating-point and block- floating-point representation schemes.
Whidborne, James F. +7 more
core +2 more sources
Implementation of a Fuel Estimation Algorithm Using Approximated Computing
Journal of Low Power Electronics and Applications, 2022 The rising concerns about global warming have motivated the international community to take remedial actions to lower greenhouse gas emissions. The transportation sector is believed to be one of the largest air polluters.
Imed Ben Dhaou
doaj +1 more source
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
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.
Whidborne, James F. +7 more
core +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 +2 more sources