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é
Tags & Categories
etablissement
université
affiliation
ahmed
informatique
oran1
bella
algorithmes
parallèles
contraintes
universitÉ
Établissement
univérsité
memoires
établissement
d’études
établissement
departement
établissement
universite
affiliation
d’etudes
d’informatique
département
directeur
etablissement
mémoires
université