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.

 

 

Pour une recherche détaillée
Visiter Papyrus
Date Trier par date en ordre décroissant Titre Trier par titre en ordre décroissant
2000 Planification de l'exploitation forestière par des méthodes heuristiques
2008 Méthodes et outils pour une affectation optimale des juges lors des compétitions : une application au concours John Molson
2003 Méthodes heuristiques pour un problème d'ordonnancement avec contraintes sur les ressources
2015-04 FPGA-based object detection using classification circuits
2021-07 Computation over partial information : a principled approach to accurate partial evaluation
2006 Conception d'un langage de programmation pour applications distribuées
2006 Compilation d'architectures à flot de données à partir de programmes fonctionnels
1999 Un générateur de code machine pour le compilateur Gambit
1999 Analyse et optimisation globales de modules compilés séparément
2019-05 Simple optimizing JIT compilation of higher-order dynamic programming languages
2013-04 A layered JavaScript virtual machine supporting dynamic instrumentation
2020-03 Diffusion de modules compilés pour le langage distribué Termite Scheme
2002 Compilation statique de Java
2014-08 Étude de cas sur l’ajout de vecteurs d’enregistrements typés dans Gambit Scheme
2009-10 Sur l’utilisation du langage de programmation Scheme pour le développement de jeux vidéo
2000 La compilation de patrons de filtrage sous Erlang
2002 Demand-driven type analysis for dynamically-typed functional languages
2021-08 Reusable semantics for implementation of Python optimizing compilers
1999 Génération de machines virtuelles pour l'exécution de programmes compressés
2002 YADL : a general purpose SDSM system