International audienceThis article presents a few applications where reliable computations are obtained using the GNU MPFR library
Emerging high-performance architectures are anticipated to contain unreliable components that may ex...
Colloque avec actes et comité de lecture. internationale.International audienceMPFI is a library imp...
Design productivity is one the most important challenge facing future generation multiprocessor syst...
GNU MPFR is an efficient arbitrary-precision floating-point library with well-defined semantics (cop...
International audienceWe describe algorithms used to optimize the GNU MPFR library when the operands...
The R package Rmpfr allows to use arbitrarily precise numbers instead of R’s double precision number...
The R package Rmpfr allows to use arbitrarily precise numbers instead of R’s double precision number...
International audienceThis paper presents a multiple-precision binary floating-point library, writte...
Emerging high-performance architectures are anticipated to contain unreliable components that may ex...
International audienceThe GNU Multi-Precision library is a widely used, safety-critical, library for...
This book constitutes the refereed proceedings of the 13th International Conference on Reliable Soft...
Secure multi-party computation (MPC) is a cryptographic primitive for computing on private data. MPC...
The work described in this thesis is the result of a research program started in 1981 to find better...
The increased demand for computing power has lead designers to put an ever increasing number of core...
International audienceFGb is a high-performance, portable, C library for computing Gröbner bases ove...
Emerging high-performance architectures are anticipated to contain unreliable components that may ex...
Colloque avec actes et comité de lecture. internationale.International audienceMPFI is a library imp...
Design productivity is one the most important challenge facing future generation multiprocessor syst...
GNU MPFR is an efficient arbitrary-precision floating-point library with well-defined semantics (cop...
International audienceWe describe algorithms used to optimize the GNU MPFR library when the operands...
The R package Rmpfr allows to use arbitrarily precise numbers instead of R’s double precision number...
The R package Rmpfr allows to use arbitrarily precise numbers instead of R’s double precision number...
International audienceThis paper presents a multiple-precision binary floating-point library, writte...
Emerging high-performance architectures are anticipated to contain unreliable components that may ex...
International audienceThe GNU Multi-Precision library is a widely used, safety-critical, library for...
This book constitutes the refereed proceedings of the 13th International Conference on Reliable Soft...
Secure multi-party computation (MPC) is a cryptographic primitive for computing on private data. MPC...
The work described in this thesis is the result of a research program started in 1981 to find better...
The increased demand for computing power has lead designers to put an ever increasing number of core...
International audienceFGb is a high-performance, portable, C library for computing Gröbner bases ove...
Emerging high-performance architectures are anticipated to contain unreliable components that may ex...
Colloque avec actes et comité de lecture. internationale.International audienceMPFI is a library imp...
Design productivity is one the most important challenge facing future generation multiprocessor syst...