Tunable Floating-Point Adder [PDF]
IEEE Transactions on Computers, 2019 In this work, we address the design of an adder in Tunable Floating-Point (TFP) precision. TFP is a variable precision format in which a given precision can be chosen for a single operation by selecting a specific number of bits for significand and exponent in the floating-point representation.
Nannarelli, Alberto
openaire +4 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
Benchmarking Large Language Models on Floating-Point Error Classification
This paper investigates the capability of Large Language Models (LLMs) to detect and classify floating-point errors statically in software code. We introduce InterFLOPBench, a benchmark of 90 C kernels with 1 130 test samples designed to evaluate LLMs ...
Defour, David +4 more
core +13 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 +3 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
DISEÑO VLSI DE UN SUMADOR DE PUNTO FLOTANTE USANDO LAS HERRAMIENTAS DE ALLIANCE (VLSI DESIGN OF FLOATING POINT ADDER USING ALIANCE TOOLS) [PDF]
, 2022 Resumen La suma es la operación clave en los sistemas digitales y el sumador de punto flotante se usa con frecuencia para la suma de números reales porque la representación de punto flotante proporciona un amplio rango dinámico.
Guerrero Eufracio, Elsa Denise +5 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
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY [PDF]
, 2023 Deductive verification has been successful in verifying interesting properties of real-world programs. One notable gap is the limited support for floating-point reasoning.
Ahrendt, Wolfgang +15 more
core +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
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 +7 more sources