Filtrer vos résultats
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 3
- 3
- 2
- 1
- 1
- 1
3 résultats
|
|
triés par
|
|
Analyse des erreurs d’arrondi sur les nombres à virgule flottante par programmation par contraintesArithmétique des ordinateurs. Université Côte d'Azur, 2021. Français. ⟨NNT : 2021COAZ4057⟩
Thèse
tel-03416121v1
|
||
|
Towards a constraint system for round-off error analysis of floating-point computation24th 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 ErrorsPrinciples and Practice of Constraint Programming, pp.637-653, 2020, ⟨10.1007/978-3-030-58475-7_37⟩
Chapitre d'ouvrage
hal-02962315v1
|