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
2016-08 Algorithmes de construction et correction d'arbres de gènes par la réconciliation
2020-06 Assessing the robustness of genetic codes and genomes
2012-02 Évolution de familles de gènes par duplications et pertes : algorithmes pour la correction d’arbres bruités
2001 Recherche de structures secondaires dans les séquences biologiques
2016-10 Évolution des génomes par mutations locales et globales : une approche d’alignement
2020-09 Articulating design-time uncertainty with DRUIDE
2019-03 Modelling and Reasoning with Software Product Lines with Design Choices
2020-01 Towards using fluctuations in internal quality metrics to find design intents
2020-07 Vérification des patrons temporels d’utilisation d’API sans exécution du code : une approche et un outil
2023-06 FETA : fairness enforced verifying, training, and predicting algorithms for neural networks
2023-11 Fair vaccination strategies with influence maximization : a case study on COVID-19
2023-11 Fairness through domain awareness : mitigating popularity bias for music discovery
1997 Conception et réalisation d'une variante parallèle de C basée sur la création paresseuse de tâche
2002 Un protocole de communication pour applications transactionnelles distribuées
2015-12 On the fly type specialization without type analysis
2023-07 Adding hygiene to gambit scheme
2010-08 Implantation des futures sur un système distribué par passage de messages
2002 Compilation optimisante à l'aide de métaheuristiques
2002 YADL : a general purpose SDSM system
1999 Génération de machines virtuelles pour l'exécution de programmes compressés
2021-08 Reusable semantics for implementation of Python optimizing compilers
2002 Demand-driven type analysis for dynamically-typed functional languages
2000 La compilation de patrons de filtrage sous Erlang
2009-10 Sur l’utilisation du langage de programmation Scheme pour le développement de jeux vidéo
2014-08 Étude de cas sur l’ajout de vecteurs d’enregistrements typés dans Gambit Scheme
2002 Compilation statique de Java
2020-03 Diffusion de modules compilés pour le langage distribué Termite Scheme
2013-04 A layered JavaScript virtual machine supporting dynamic instrumentation
2019-05 Simple optimizing JIT compilation of higher-order dynamic programming languages
1999 Analyse et optimisation globales de modules compilés séparément
1999 Un générateur de code machine pour le compilateur Gambit
2006 Compilation d'architectures à flot de données à partir de programmes fonctionnels
2006 Conception d'un langage de programmation pour applications distribuées
2021-07 Computation over partial information : a principled approach to accurate partial evaluation
2015-04 FPGA-based object detection using classification circuits
2003 Méthodes heuristiques pour un problème d'ordonnancement 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
2000 Planification de l'exploitation forestière par des méthodes heuristiques
2006 Résolution du problème d'ordonnancement des activités avec contraintes de ressources et sa généralisation
2002 Méthodes heuristiques pour résoudre un problème d'horaire de projets avec contraintes sur les ressources
Number of results : 1178