Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

3 résultats
Image document

Analyse des erreurs d’arrondi sur les nombres à virgule flottante par programmation par contraintes

Rémy Garcia
Arithmétique des ordinateurs. Université Côte d'Azur, 2021. Français. ⟨NNT : 2021COAZ4057⟩
Thèse tel-03416121v1
Image document

Towards a constraint system for round-off error analysis of floating-point computation

Rémy Garcia , Claude Michel , Marie Pelleau , Michel Rueher
24th International Conference on Principles and Practice of Constraint Programming :Doctoral Program, Aug 2018, Lille, France
Communication dans un congrès hal-01956046v1

A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors

Rémy Garcia , Claude Michel , Michel Rueher
Principles and Practice of Constraint Programming, pp.637-653, 2020, ⟨10.1007/978-3-030-58475-7_37⟩
Chapitre d'ouvrage hal-02962315v1