| Etablissement | Université d'Oran1 - Ahmed Ben Bella |
| Affiliation | Département d'Informatique |
| Auteur | SAIDI, Samira |
| Directeur de thèse | LEBBAH Yahia (Professeur) |
| Filière | Informatique Fondamentale |
| Diplôme | Magister |
| Titre | Parallélisation des algorithmes de résolution de contraintes |
| Mots clés | programmation par contraintes, performances parallèles, MPI |
| Résumé | La programmation par contraintes (PPC) est un nouveau domaine en informatique qui a eu beaucoup de succès dans la résolution des problèmes combinatoires. D’une part, la PPC a un fort potentiel en parallélisation que ça soit au niveau des algorithmes de filtrage, des algorithmes par séparation/évaluation ou de recherche de solutions faisables. D'autre part, les machines parallèles sont devenues accessibles avec un coût financier dérisoire par rapport à la criticité des applications abordées par la PPC. L'objectif du sujet proposé est d'étudier finement les algorithmes de base en PPC afin de proposer des solutions pour les paralléliser avec une évaluation expérimentale des performances des algorithmes parallèles développés. |
| Statut | Validé |