Suivre
Mohammed Said Belaid
Mohammed Said Belaid
Université des Sciences et de la Technologie d'Oran
Adresse e-mail validée de i3s.unice.fr - Page d'accueil
Titre
Citée par
Citée par
Année
Boosting local consistency algorithms over floating-point numbers
MS Belaid, C Michel, M Rueher
International Conference on Principles and Practice of Constraint …, 2012
302012
Résolution de contraintes sur les flottants dédiée à la vérification de programmes
M Belaid
Université Nice Sophia Antipolis, 2013
72013
Approximating floating-point operations to verify numerical programs
MRMS Belaid, C Michel, M RUEHER
14th GAMM-IMACS International Symposium on Scientific Computing, Computer …, 2010
52010
Un nouvel algorithme de consistance locale sur les nombres flottants
MS BELAID, C MICHEL, M RUEHER
12010
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–7