Results 11 to 20 of about 70,095 (287)
Exploiting structure in floating-point arithmetic [PDF]
, 2015 Invited paper - MACIS 2015 (Sixth International Conference on Mathematical Aspects of Computer and Information Sciences)International audienceThe analysis of algorithms in IEEE floating-point arithmetic is most often carried out via repeated applications
Jeannerod, Claude-Pierre
core +5 more sources
Acta Numerica, 2023 Floating-point numbers have an intuitive meaning when it comes to physics-based numerical computations, and they have thus become the most common way of approximating real numbers in computers. The IEEE-754 Standard has played a large part in making floating-point arithmetic ubiquitous today, by specifying its semantics in a strict yet useful way as ...
Boldo, Sylvie +3 more
openaire +2 more sources
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 +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
Computing Integer Powers in Floating-Point Arithmetic [PDF]
, 2007 We introduce two algorithms for accurately evaluating powers to a positive integer in floating-point arithmetic, assuming a fused multiply-add (fma) instruction is available.
Kornerup, Peter +2 more
core +3 more sources
Certified lattice reduction [PDF]
, 2019 Quadratic form reduction and lattice reduction are fundamental tools in computational number theory and in computer science, especially in cryptography. The celebrated Lenstra-Lenstra-Lov\'asz reduction algorithm (so-called LLL) has been improved in many
Espitau, Thomas, Joux, Antoine
core +5 more sources
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
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
Optimistic Parallelization of Floating-Point Accumulation [PDF]
, 2007 Floating-point arithmetic is notoriously non-associative due to the limited precision representation which demands intermediate values be rounded to fit in the available precision.
DeHon, André, Kapre, Nachiket
core +4 more sources