 |
Communication dans un congrès
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.
Littérature citée [5 références]
https://hal-enac.archives-ouvertes.fr/hal-00934812
Contributeur : Laurence Porte Connectez-vous pour contacter le contributeur
Soumis le : jeudi 24 avril 2014 - 15:14:04
Dernière modification le : lundi 4 juillet 2022 - 10:22:38
Archivage à long terme le : : jeudi 24 juillet 2014 - 10:36:40
Contributeur : Laurence Porte Connectez-vous pour contacter le contributeur
Soumis le : jeudi 24 avril 2014 - 15:14:04
Dernière modification le : lundi 4 juillet 2022 - 10:22:38
Archivage à long terme le : : jeudi 24 juillet 2014 - 10:36:40
Fichier
451.pdf
Fichiers produits par l'(les) auteur(s)