Passer au contenu

/ Département d'informatique et de recherche opérationnelle

Je donne

Rechercher

Thèses et mémoires

Des thèses et mémoires de nos étudiants sont conservés et consultables dans Papyrus, le dépôt institutionnel de l'Université de Montréal.

 

 

For a detailed search
Visit Papyrus
Date Sort by date in ascending order Title Sort by title in ascending order
2015 On the fly type specialization without type analysis
2010 Implantation des futures sur un système distribué par passage de messages
2026 A fully reproducible C toolchain rooted on POSIX shell
1999 Un générateur de code machine pour le compilateur Gambit
1997 Conception et réalisation d'une variante parallèle de C basée sur la création paresseuse de tâche
2002 Compilation optimisante à l'aide de métaheuristiques
1996 Un système de programmation Scheme pour micro-contrôleur
2002 Un protocole de communication pour applications transactionnelles distribuées
2020 Diffusion de modules compilés pour le langage distribué Termite Scheme
2009 Sur l’utilisation du langage de programmation Scheme pour le développement de jeux vidéo
2002 Demand-driven type analysis for dynamically-typed functional languages
1999 Analyse et optimisation globales de modules compilés séparément
2014 Étude de cas sur l’ajout de vecteurs d’enregistrements typés dans Gambit Scheme
1999 Génération de machines virtuelles pour l'exécution de programmes compressés
2002 Compilation statique de Java
2000 La compilation de patrons de filtrage sous Erlang
2021 Reusable semantics for implementation of Python optimizing compilers
2013 A layered JavaScript virtual machine supporting dynamic instrumentation
2019 Simple optimizing JIT compilation of higher-order dynamic programming languages
2006 Compilation d'architectures à flot de données à partir de programmes fonctionnels
2006 Conception d'un langage de programmation pour applications distribuées
2021 Computation over partial information : a principled approach to accurate partial evaluation
2015 FPGA-based object detection using classification circuits
2000 Planification de l'exploitation forestière par des méthodes heuristiques
1996 Problèmes multicritère avec contraintes d'affectation
1994 Algorithmes génétiques hybrides pour l'optimisation combinatoire
1998 Analyse de différents opérateurs de croisement dans le cadre de l'algorithme génétique appliqué au problème de la coloration de graphe
2006 Résolution du problème d'ordonnancement des activités avec contraintes de ressources et sa généralisation
1987 Méthodes heuristiques pour la conception de calendriers sportifs
1993 Variantes de la méthode du Recuit Simulé pour la coloration des graphes
1993 La technique de recherche Tabou adaptée au problème de la classification automatique avec contrainte supplémentaire sur la capacité des classes
2002 Méthodes heuristiques pour résoudre un problème d'horaire de projets avec contraintes sur les ressources
2008 Méthodes et outils pour une affectation optimale des juges lors des compétitions : une application au concours John Molson
1987 Élaboration des horaires pour les chauffeurs de véhicules postaux
1986 Horaires de véhicules avec fenêtres de temps amovibles
2003 Méthodes heuristiques pour un problème d'ordonnancement avec contraintes sur les ressources
1991 Heuristique de planification d'un réseau privé commuté par paquets
1995 Problèmes d'affectation avec contraintes d'alternatives et application à la gestion des stages de résidence
1989 Générateur d'itinéraires d'enlèvement de la neige
2016 An adaptive neighborhood search algorithm for optimizing stochastic mining complexes
2014 Affectation de composantes basée sur des contraintes énergétiques dans une architecture multiprocesseurs en trois dimensions
2013 La résolution du problème de formation de cellules dans un contexte multicritère
2007 Problème de planification des tournées des intervenants pour les visites à domicile
2015 A heuristic algorithm for the Capacitated Vehicle Routing Problem with Synchronized Pick-ups and Drop-offs : a case study for medications delivery and supervision in DR Congo
1998 Planification de l'horaire des médecins dans une salle d'urgence
2002 Confection automatisée des horaires de médecins dans une salle d'urgence
2002 Heuristique d'évaporation de pénalités dans une méthode de décomposition pour trouver la plus grande clique d'un graphe
1990 Conception d'un réseau privé de transmission par paquets
2016 Interrelated product design activities sequencing with efficient tabu search algorithms
1993 Variantes de la méthode Tabou pour la coloration de graphes