-
Elementary Functions, Algorithms and Implementation, 2nd Edition
This dataset has no description
-
Floating-Point Exponentiation Units for Reconfigurable Computing
International audience -
A simple test qualifying the accuracy of Horner's rule for polynomials
International audience -
Properties of the subtraction valid for any floating point system
International audience -
High-performance floating-point computing on reconfigurable circuits
Due to their potential performance and unmatched flexibility, FPGA-based accelerators are part of more and more high-performance computing systems. However, exploiting... -
Assisted verification of elementary functions
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on... -
Preservation of Lyapunov-Theoretic Proofs: From Real to loating-Point Numbers
In Feron presents how Lyapunov-theoretic proofs of stability can be migrated toward computer-readable and verifiable certificates of control software behavior by... -
The ASTRÉE analyzer
Astrée is an abstract interpretation-based static program analyzer aiming at proving automatically the absence of run time errors in programs written in the C...
