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 croissant Titre Trier par titre en ordre croissant
2023-11 Fair vaccination strategies with influence maximization : a case study on COVID-19
2000 La compilation de patrons de filtrage sous Erlang
2021-08 Reusable semantics for implementation of Python optimizing compilers
2020-03 Diffusion de modules compilés pour le langage distribué Termite Scheme
2002 Demand-driven type analysis for dynamically-typed functional languages
1996 Un système de programmation Scheme pour micro-contrôleur
2002 Compilation statique de Java
2002 YADL : a general purpose SDSM system
2002 Un protocole de communication pour applications transactionnelles distribuées
2019-05 Simple optimizing JIT compilation of higher-order dynamic programming languages
2014-08 Étude de cas sur l’ajout de vecteurs d’enregistrements typés dans Gambit Scheme
1999 Un générateur de code machine pour le compilateur Gambit
2013-04 A layered JavaScript virtual machine supporting dynamic instrumentation
2015-12 On the fly type specialization without type analysis
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
2023-07 Adding hygiene to gambit scheme
1999 Génération de machines virtuelles pour l'exécution de programmes compressés
2010-08 Implantation des futures sur un système distribué par passage de messages
2009-10 Sur l’utilisation du langage de programmation Scheme pour le développement de jeux vidéo