[PDF] Top 20 A new multiplication algorithm for extended precision using floating-point expansions
Has 10000 "A new multiplication algorithm for extended precision using floating-point expansions" found on our website. Below are the top 20 most common "A new multiplication algorithm for extended precision using floating-point expansions".
A new multiplication algorithm for extended precision using floating-point expansions
... called a FP ...FP expansions as implemented in ...terms, for example, a multipli- cation of two n-term FP expansion can easily lead to O(n 3 ) ... Voir le document complet
9
Arithmetic algorithms for extended precision using floating-point expansions
... standard floating-point (FP) numbers. This sum is usually called a FP ...of using directly available and highly optimized hardware implemented FP ...is a demand for algorithms ... Voir le document complet
18
Error bounds on complex floating-point multiplication with an FMA
... floating-point multiplication done by Brent, Percival, and Zimmermann ...is extended to the case where a fused multiply-add (FMA) operation is avail- ...of a complex product z can be ... Voir le document complet
19
On various ways to split a floating-point number
... use floating-point arithmetic with rounding to ...the floating-point folklore for decades, and some are ...of extended-precision multiplication, accurate summation, ... Voir le document complet
9
MPFR: A Multiple-Precision Binary Floating-Point Library With Correct Rounding
... The multiplication of two n-bit numbers with a n-bit result is performed by a “short product”, either using a naive algorithm [18] or Mulders’ algorithm [20], which gives ... Voir le document complet
19
Formal Verification of a Floating-Point Expansion Renormalization Algorithm
... that a FPE carries enough information we need to ensure that it is non-overlapping (see Section ...perform a renormalization. It is a basic brick for manipulat- ing ...with a complete ... Voir le document complet
17
Parallel floating-point expansions for extended-precision GPU computations
... FP expansions are based on the so-called error-free transforms (EFT), such as the algorithms 2Sum, Fast2Sum, Dekker’s product and 2MultFMA (presented for instance in [4]), that make it possible to compute ... Voir le document complet
9
A Formally-Verified C Compiler Supporting Floating-Point Arithmetic
... proof; floating-point semantic preservation; ...of floating-point (FP) arithmetic have in- tensified since the 70s [1], ...infinite precision and then ...axiom for algorithms and ... Voir le document complet
10
New tools for precision livestock management
... to a physical area, with one specific production sys- tem, that can be changed ...by a feeding system that can be modified throughout time. There is a batch of animals per ...paddock. A batch ... Voir le document complet
62
Computing floating-point logarithms with fixed-point operations
... output floating-point ...purely using integer/fixed-point ...64-bit floating-point, but only 32-bit ...between floating- point and integer were ...computing ... Voir le document complet
10
A Three-tier Strategy for Reasoning about Floating-Point Numbers in SMT
... Consider for instance the follow- ing FP formula 4 on binary64 FP numbers, where ⊕ is the FP addition with default rounding to nearest with tie breaking to even ...when using ACDCL, and so does REALIZER ... Voir le document complet
19
Floating-point exponential functions for DSP-enabled FPGAs
... tural point of view, as Y will be input to a table and log 2 2 is not a power of two (as log 2 ≈ ...expensive. A solution to both problems is therefore a relaxed implementation of (4) ... Voir le document complet
9
A new efficient EM-ICP algorithm for non-linear registration of 3D point sets
... of a Gaussian mixture model (GMM) whose centres are the points of the second ...into a maximum a posteriori (MAP) problem (or equivalently, into a penalised likelihood problem), where the only ... Voir le document complet
44
Searching Critical Values for Floating-Point Programs
... introduce a new constraint-based approach that searches for test cases that hit the suspicious intervals in programs with floating-point ...to a constraint-solving problem over ... Voir le document complet
10
2020 — Privacy-preserving algorithm for outsourcing matrix multiplication based on Strassen's algorithm
... designing a privacy-preserving algorithm for mathematical computation is of- ten very complex with the presence of different sorts of adversaries and ...algorithms for different system models, ... Voir le document complet
72
Uniform Random Generation of Decomposable Structures Using Floating-Point Arithmetic
... Unit´e de recherche INRIA Lorraine, Technopˆole de Nancy-Brabois, Campus scientifique, ` NANCY 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LES Unit´e de recherche INRIA Rennes, Ir[r] ... Voir le document complet
20
Sub-domain Selection Strategies For Floating Point Constraint Systems
... is a key issue for critical applications such as aviation, aerospace, or embedded ...violate a property of the program to verify. Searching for such counter-examples can be very long and ... Voir le document complet
10
Toward Scalable Source Level Accuracy Analysis for Floating-point to Fixed-point Conversion
... to a larger class of programs. We use polyhedral methods to extract a more compact, graph-based representation of the ...with a several image and signal processing ... Voir le document complet
9
Determination of point-forces via extended boundary measurements using a game strategy approach
... consider a game theory approach to deal with an inverse problem related to the Stokes ...unknown point-forces acting on the fluid from incomplete measurements on the boundary of a ...develop a ... Voir le document complet
9
Advanced methods and algorithm for high precision astronomical imaging
... of a linear imaging system is a scaled Fourier transform of the pupil function, up to a multiplicative factor (see ...PSF a uni- formly continuous function. Therefore a discrete well ... Voir le document complet
200
Sujets connexes