[PDF] Top 20 Comparison between binary and decimal floating-point numbers
Has 10000 "Comparison between binary and decimal floating-point numbers" found on our website. Below are the top 20 most common "Comparison between binary and decimal floating-point numbers".
Comparison between binary and decimal floating-point numbers
... comparisons between binary numbers in any of the basic binary interchange formats and decimal numbers in any of the basic decimal interchange ...any ... Voir le document complet
14
Formal correctness of comparison algorithms between binary64 and decimal64 floating-point numbers
... hour and 40 minus of our checking time are spent by our brute-force method in trying to validate the integer equivalent for the function ...of floating point numbers that are comparable using ... Voir le document complet
15
A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers
... with a constant C that can be chosen between 2 −967 and 2 970 . This program was formally proved to provide the correct result even in case of underflow and to never create spurious overflow [12]. A ... Voir le document complet
13
A Prior Study of Split Compilation and Approximate Floating-Point Computations
... 3 Floating-Point Issues Compiler developers not only propose new optimizations or analysis approaches but also must show the relevance of ...it. And they usually use benchmarks to make it ... Voir le document complet
43
Generating high-performance custom floating-point pipelines
... sults, and can be saved by considering the compound operator as an atomic one ...the comparison, where a combination of stan- dard operators leads to a worst-case error larger than two ...the ... Voir le document complet
7
Automating the Verification of Floating-Point Programs
... handling floating-point computations is ...success and proof automation highly depends on the way the floating-point op- erations are interpreted in the logic supported by back-end ... Voir le document complet
19
Accurate Complex Multiplication in Floating-Point Arithmetic
... Keywords. Floating-point arithmetic, Complex multiplica- tion, Rounding error ...NTRODUCTION AND NOTATION This paper deals with accurate (from a normwise point of view) complex multiplication ... Voir le document complet
8
On various ways to split a floating-point number
... algorithms, and with standard functions of the mathematical library, in the C ...7.3.0, and optimization level ...binary64 numbers in the range [0, 2 32 ], and we then compute the time to call ... Voir le document complet
9
Floating-point exponential functions for DSP-enabled FPGAs
... a floating-point exponential operator generator targeting recent FPGAs with embedded memories and DSP ...memory, and 392 slices on ...used and proves more resource-efficient than the ... Voir le document complet
9
Searching Critical Values for Floating-Point Programs
... Brain and al [11, 2] have recently introduced a bit-precise decision pro- cedure for the theory of floating-point ...representing and handling integers, real numbers and ... Voir le document complet
10
Multi-prover verification of floating-point programs
... Example 5 (Interval multiplication). To go further, we proved also the multiplication of intervals. Its code is given in Fig. 4. Notice the large number of branches. This code calls some auxiliary functions on intervals ... Voir le document complet
16
On formal methods for certifying floating-point C programs
... input and generates proof obligations for a wide set of interactive proof assistants (Coq, PVS, Isabelle/HOL, HOL 4, HOL-Light, Mizar) and de- cision procedures (Simplify, Ergo, Yices, CVC Lite, CVC3, ... Voir le document complet
35
Hardware support for UNUM floating point arithmetic
... file and instruc- tions that operate in the g-layer), and fusing operations in the g-layer as much as possible (as a compiler ...grow and quickly saturates to its ...UNUM numbers stored on a ... Voir le document complet
5
A Formally-Verified C Compiler Supporting Floating-Point Arithmetic
... C and in assembly languages, their semantics are specified in terms of two Coq libraries, Int and Float , which provide Coq types for integer and FP values, and Coq functions for the basic ... Voir le document complet
10
On the relation between azeotropic behavior and minimum / maximum flash point occurrences in binary mixtures of flammable compounds
... flash point temperature and the boiling temperature of a mixture are related by the fact that both can be modeled based on vapor-liquid equilibrium (VLE) of each ...concomitance between azeotropic ... Voir le document complet
23
Verifying floating-point programs with constraint programming and abstract interpretation techniques
... merge point is not the assignment node that follows the branch junction but the exit node: a merge point is always the last node of a straight sequence of nodes after a ...paths between two ... Voir le document complet
28
Design and Implementation of an Embedded FPGA Floating Point DSP Block
... capacity and new embedded DSP features, the potential application space for FPGAs continues to ...applications, floating-point arithmetic is a requirement, either because the dynamic range of data, a ... Voir le document complet
14
On the relation between azeotropic behavior and minimum / maximum flash point occurrences in binary mixtures of flammable compounds
... smaller, and we do not forecast extreme flash point behavior, as shown in the Figures ...1 and f 2 that is used with a predictive activity coefficient model which extrapolation power is not ... Voir le document complet
24
Boosting local consistency algorithms over oating-point numbers
... /5040 and comes from CDFPL ...FP2B and, FPLP, an im- plementation of algorithm ...problem and column 3 gives the amount of temporary variables used to decompose complex expressions in elementary ... Voir le document complet
16
Semi-Automatic Floating-Point Implementation of Special Functions
... some point or over some interval, Sollya first tries to use the ...once and for all and later used to reduce interval evaluations on subintervals to evaluations at their ... Voir le document complet
10
Sujets connexes