Mémoires de Fin d’Etudes
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é