Towards a constraint system for round-off error analysis of floating-point computation R Garcia, C Michel, M Pelleau, M Rueher 24th International Conference on Principles and Practice of Constraint …, 2018 | 3 | 2018 |
A branch-and-bound algorithm to rigorously enclose the round-off errors R Garcia, C Michel, M Rueher Principles and Practice of Constraint Programming: 26th International …, 2020 | 2 | 2020 |
Analyse des erreurs d’arrondi sur les nombres à virgule flottante par programmation par contraintes R Garcia Université Côte d'Azur, 2021 | | 2021 |
Rigorous enclosure of round-off errors in floating-point computations R Garcia, C Michel, M Rueher Software Verification: 12th International Conference, VSTTE 2020, and 13th …, 2020 | | 2020 |
Vers un systeme de contraintes pour l’analyse des erreurs de précision des calculs sur les flottants R Garcia, C Michel, M Pelleau, M Rueher JFPC 2018, 55, 0 | | |