424 research outputs found
Compilation d'architectures à flot de données à partir de programmes fonctionnels
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal
Parallélisation d'un algorithme d'optimisation par colonies de fourmis pour la résolution d'un problème d'ordonnancement industriel
Les problèmes d'optimisation combinatoire peuvent être retrouvés, sous différentes formes, dans un grand nombre de sphères d'activité économique au sein de notre société. Ces problèmes complexes représentent encore un défi de taille pour bon nombre de chercheurs issus de domaines scientifiques variés tels les mathématiques, l'informatique et la recherche opérationnelle, pour ne citer que quelques exemples. La nécessité de résoudre ces problèmes de façon efficace et rapide a entraîné le prolifération de méthodes de résolution de toutes sortes, certaines étant plus spécifiques à un problème et d'autres étant plus génériques.
Ce mémoire réunit différentes notions du parallélisme et des métaheuristiques afin d'apporter une méthode de résolution performante à un problème d'optimisation combinatoire réel. Il démontre que l'introduction de stratégies de parallélisation à un algorithme d'Optimisation par Colonies de Fourmis permet à ce dernier d'améliorer considérablement ses facultés de recherche de solutions. Le succès de cette approche dans la résolution d'un problème d'ordonnancement industriel rencontré dans une entreprise de fabrication d'aluminium montre l'intérêt pratique de ces méthodes et leurs retombées économiques potentielles.
Ce travail de recherche, loin d'être une fin en soi, représente plutôt une première exploration des possibilités offertes par deux domaines fort prometteurs de l'informatique et de la recherche opérationnelle. L'union de méthodes d'apprentissage intelligentes et d'une puissance de calcul imposante pourrait fort bien se révéler un outil performant pour la résolution de problèmes d'une telle envergure
Test unitaire de processus BPEL : génération orientée chemins de cas de test
Dans ce mémoire, nous proposons une méthode pour la génération des cas de test pour des processus métiers exprimés en langage BPEL. Cette méthode tient compte de la nature concurrente de ce langage ainsi que des caractéristiques qui lui sont propres. Elle adopte une approche orientée chemin. Ce faisant, ladite méthode définit une extension de la version usuelle du graphe de flot de contrôle (CFG) - baptisée BPEL Control Flow Graph (B-CFG) - pour la traduction du code BPEL en un modèle. En parcourant ce modèle, des chemins de test concurrents, qui sont à habiller par la suite par des données de test, sont générés. Ces chemins concurrents sont représentés d'une façon formelle et appropriée. La génération de ces chemins se fait selon différents critères de couverture. Ces critères, qui ont été à la base définis pour la programmation séquentielle, nous les avons adaptés de façon à pouvoir les appliquer pour le cas d'un langage concurrent comme le BPEL. Finalement, des propositions de pistes de solution sont fournies pour la question de génération de données de test, ainsi que pour la question de spécification/exécution des cas de test.\ud
_____________________________________________________________________________
CPar : implantation et évaluation d'un compilateur pour une variante parallèle de C
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal
Parallélisation automatique de programmes scientifiques pour systèmes distribués
Avec l’avènement des processeurs multi-coeurs comme architecture standard pour
ordinateurs de tout acabit, de nouveaux défis s’offrent aux programmeurs voulant
mettre à profit toute cette nouvelle puissance de calcul qui leur est offerte. Malheureusement, la programmation parallèle, autant sur systèmes à mémoire partagée que sur systèmes à mémoire distribuée, demeure un défi de taille pour les développeurs de logiciels. Une solution intéressante à ce problème serait de rendre disponible un outil permettant d’automatiser le processus de parallélisation de programmes. C’est dans cette optique que s’inscrit le présent mémoire. Après deux essais infructueux, mais ayant permis d’explorer le domaine de la parallélisation automatique dirigée par le compilateur, l’outil Clang-MPI a été conçu pour répondre au besoin énoncé. Ainsi, cet outil prend en charge la parallélisation de programmes originellement séquentiels dans le but de produire des programmes visant les systèmes distribués. Son bon fonctionnement a été évalué en faisant appel aux bancs d’essai offerts par la suite Polybench et ses limites ont été explorées par une tentative de parallélisation automatique du processus d’entraînement d’un réseau de neurones
Indicateurs et benchmarks
Pour la plupart pluriséculaires, puisqu'elles s'originent au coeur du Moyen-âge français chrétien[1], les universités ont été structurée dans leurs cinq contours modernes que voici, par décret[2] d'empire napoléonien:
1 la laïcité, "lieu exclusif d'enseignement... aucune école, aucun établissement quelconque d'instruction ne peut être formé en dehors de l'université impériale" ;
1 les champs disciplinaires, "cinq ordres de faculté (théologie, droit, médecine, sciences mathématiques et physiques, lettres" ;
1 le mode hiérarchique, "un doyen choisi parmi les professeurs à  la tête de chaque faculté de théologie" ;
1 la production, "chaque faculté confêre trois grades (baccalauréat, licence, doctorat) à  la suite d'examens et actes publics" ;
1 le zonage académique, "autant qu'il y a de cours d'appel".
Toujours digne représentante du service public français "hybride"[3] (Demeestêre, Orange, 2008), l'université est aujourd'hui comptable de ses résultats, i.e. du service rendu aux citoyens et non plus seulement de l'historique obligation de moyens. La derniêre décennie a été féconde en repositionnements et transformations: nous proposons de les rappeler sommairement avant d'en discuter les actuelles incidences stratégiques.
Â
[1] Sorbonne créée en 1215 pour former des prêtres
[2] Décret impérial N°3179 portant organisation de l'Université, Bulletin des Lois N°185, Palais des Tuileries, 17 mars 1808
[3] Mi-décentralisé, mi-déconcentré selon les auteurs, dans un contexte d'inter-ministérialité depuis 2004 (SGAR, PASE
- …