Acta Numerica, 2023 International audienceFloating-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.
Muller, Jean-Michel +7 more
core +4 more sources
Hammering Floating-Point Arithmetic
, 2023 Sledgehammer, 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.
Torstensson, Olle, +3 more
core +4 more sources
Handbook of Floating-point Arithmetic (2nd edition) [PDF]
, 2018 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 +17 more
core +3 more sources
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 +1 more
core +5 more sources
Maximum Network Flow with Floating Point Arithmetic [PDF]
Information Processing Letters, 1997 We discuss the implementation of network flow algorithms in floating point arithmetic. We give an example to illustrate the difficulties that may arise when floating point arithmetic is used without care.
Mehlhorn, Kurt +3 more
core +5 more sources
Trans-floating-point arithmetic removes nine quadrillion redundancies from 64-bit IEEE 754 floating-point arithmetic [PDF]
, 2014 IEEE 754 floating-point arithmetic is widely used in modern, general-purpose computers. It is based on real arithmetic and is made total by adding both a positive and a negative infinity, a negative zero, and many Not-a-Number (NaN) states.
Anderson, James A.D.W.
core +10 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 +3 more sources
Optimal Realizations of Floating-Point Implemented Digital Controllers with Finite Word Length Considerations [PDF]
, 2004 The closed-loop stability issue of finite-precision realizations is investigated for digital controllers implemented in floating-point arithmetic.
Chu, J. +3 more
core +2 more sources
A Unified Flash Memory Platform for Mode-Adaptive and Robust AI Computation. [PDF]
Adv Sci (Weinh)A unified AND‐type flash memory platform enables both transistor‐mode and capacitor‐mode computing‐in‐memory operations within the same device structure. By selectively switching the sensing mode through peripheral reconfiguration, the platform provides adaptable trade‐offs between computational accuracy, robustness, and energy efficiency for AI ...
Yu D +6 more
europepmc +2 more sources
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