 |
Conference papers
Implementing an interval computation library for OCaml on x86/amd64 architectures
Abstract : In this paper, we present two implementations of interval arithmetic for OCaml on x86/amd64 architectures. The first implementation is a binding to the classical MPFI/MPFR library. It provides access to multi-precision floating-point arithmetic and multi-precision floating-point intervalarithmetic. The second implementation has been natively written in assembly language for low-level functions and in OCaml for higher-levelfunctions. It has proven as fast as classical C or C++ implementations.
Cited literature [5 references]
https://hal-enac.archives-ouvertes.fr/hal-00934812
Contributor : Laurence Porte <>
Submitted on : Thursday, April 24, 2014 - 3:14:04 PM
Last modification on : Thursday, June 10, 2021 - 3:08:30 AM
Long-term archiving on: : Thursday, July 24, 2014 - 10:36:40 AM
Contributor : Laurence Porte <>
Submitted on : Thursday, April 24, 2014 - 3:14:04 PM
Last modification on : Thursday, June 10, 2021 - 3:08:30 AM
Long-term archiving on: : Thursday, July 24, 2014 - 10:36:40 AM
File
451.pdf
Files produced by the author(s)