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
2023-07 Adding hygiene to gambit scheme
2009-10 Sur l’utilisation du langage de programmation Scheme pour le développement de jeux vidéo
1999 Un générateur de code machine pour le compilateur Gambit
2002 Demand-driven type analysis for dynamically-typed functional languages
2006 Compilation d'architectures à flot de données à partir de programmes fonctionnels
2021-07 Computation over partial information : a principled approach to accurate partial evaluation
2006 Conception d'un langage de programmation pour applications distribuées
2015-04 FPGA-based object detection using classification circuits
2006 Résolution du problème d'ordonnancement des activités avec contraintes de ressources et sa généralisation
2008 Méthodes et outils pour une affectation optimale des juges lors des compétitions : une application au concours John Molson
2002 Méthodes heuristiques pour résoudre un problème d'horaire de projets avec contraintes sur les ressources
2000 Planification de l'exploitation forestière par des méthodes heuristiques
2003 Méthodes heuristiques pour un problème d'ordonnancement avec contraintes sur les ressources
2016-09 An adaptive neighborhood search algorithm for optimizing stochastic mining complexes
2014-06 Affectation de composantes basée sur des contraintes énergétiques dans une architecture multiprocesseurs en trois dimensions
2013-01 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-08 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
2002 Heuristique d'évaporation de pénalités dans une méthode de décomposition pour trouver la plus grande clique d'un graphe
2002 Confection automatisée des horaires de médecins dans une salle d'urgence
1998 Planification de l'horaire des médecins dans une salle d'urgence
2016-04 Interrelated product design activities sequencing with efficient tabu search algorithms
1999 Scatter Search pour le problème du voyageur de commerce
2012-02 « Resolution Search » et problèmes d’optimisation discrète
2016-04 Algorithmique et complexité des systèmes à compteurs
1999 Symétrie et sens de l'orientation dans les graphes
2006 Étude numérique d'algorithmes d'affectation d'équilibre de réseaux : modèles statiques à coûts symétriques avec demandes fixes dans l'espace des chemins
2003 Le calcul parallèle des plus courts chemins temporels
2006 Simulation dynamique du trafic routier urbain et optimisation des contrôles
1998 Le calcul des plus courts chemins statiques et temporels : synthèse, implantations séquentielles et parallèles