Boosting local consistency algorithms over floating-point numbers MS Belaid, C Michel, M Rueher International Conference on Principles and Practice of Constraint …, 2012 | 28 | 2012 |
Résolution de contraintes sur les flottants dédiée à la vérification de programmes M Belaid Université Nice Sophia Antipolis, 2013 | 5 | 2013 |
Approximating floating-point operations to verify numerical programs MRMS Belaid, C Michel, M RUEHER 14th GAMM-IMACS International Symposium on Scientific Computing, Computer …, 2010 | 3 | 2010 |
Un nouvel algorithme de consistance locale sur les nombres flottants MS BELAID, C MICHEL, M RUEHER | 1 | 2010 |
Boosting domain filtering over floating-point numbers with safe linear approximations MS Belaid, C Michel, M Rueher | | 2011 |
Résolution de contraintes sur les nombres à virgule flottante par une approximation sur les nombres réels MS Belaid, C Michel, M Rueher JFPC 2010-Sixièmes Journées Francophones de Programmation par Contraintes, 51-60, 2010 | | 2010 |
Evaluation incrémentale des contraintes OCL BM Saïd, R Fleurquin, O Barais | | 2009 |