„Floating-Point Arithmetic“
Suchergebnisse
1.000+ Treffer
-
End-To-End Formal Verification of a Fast and Accurate Floating-Point Approximation
-
FPGA Implementation of a Decimal Floating-Point Co-Processor with Accurate Scalar Product Unit
-
Emulation of the FMA and the correctly-rounded sum of three numbers in rounding-to-nearest floating-point arithmetic
-
Optimal Design of Fixed-Point and Floating-Point Arithmetic Units for Scientific Applications
-
Taming Floating-Point Rounding Errors with Proofs (Invited Talk)
-
Elementary Functions – Algorithms and Implementation
-
Handbook of Floating-Point Arithmetic
-
Test matrices with specified eigenpairs for the symmetric positive definite generalized eigenvalue problem
-
Reliable computing – an open electronic journal devoted to mathematical computations with guaranteed accuracy, bounding of ranges, mathematical proofs based on floating point arithmetic, and other theory and applications of interval arithmetic and directed rounding
-
The New IEEE-754 Standard for Floating Point Arithmetic
-
Second Note on Basic Interval Arithmetic for IEEE754R
-
08021 Summary – Numerical Validation in Current Hardware Architectures
-
08021 Abstracts Collection – Numerical Validation in Current Hardware Architectures
-
Verified Compilation and Optimization of Floating-Point Programs in CakeML (Artifact)
-
Descriptive Complexity for Neural Networks via Boolean Networks
-
Verified Compilation and Optimization of Floating-Point Programs in CakeML
-
Primitive Floats in Coq
-
Analysis and Synthesis of Floating-point Programs (Dagstuhl Seminar 17352)
-
Der Arithmetik-Prozessor INTEL 8087: eine komplette Implementierung des vorgeschlagenen IEEE-Standards für Gleitpunktarithmetik/The arithmetic processor INTEL 8087: a complete implementation of the proposed IEEE standard for floating-point arithmetic
-
Automatische variable Gleitkommarechnung, dargestellt am Beispiel der Matrizeninversion/Automatic variable floating-point arithmetic demonstrated by the problem of matrix inversion