Results 11 to 20 of about 403 (212)
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
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
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
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
Optimal Architecture of Floating-Point Arithmetic for Neural Network Training Processors
Sensors, 2022 The convergence of artificial intelligence (AI) is one of the critical technologies in the recent fourth industrial revolution. The AIoT (Artificial Intelligence Internet of Things) is expected to be a solution that aids rapid and secure data processing.
Muhammad Junaid +3 more
doaj +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