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
2015-12 On the fly type specialization without type analysis
2013-04 A layered JavaScript virtual machine supporting dynamic instrumentation
1999 Un générateur de code machine pour le compilateur Gambit
2014-08 Étude de cas sur l’ajout de vecteurs d’enregistrements typés dans Gambit Scheme
2019-05 Simple optimizing JIT compilation of higher-order dynamic programming languages
2002 Un protocole de communication pour applications transactionnelles distribuées
2002 YADL : a general purpose SDSM system
2002 Compilation statique de Java
1996 Un système de programmation Scheme pour micro-contrôleur
2002 Demand-driven type analysis for dynamically-typed functional languages
2020-03 Diffusion de modules compilés pour le langage distribué Termite Scheme
2021-08 Reusable semantics for implementation of Python optimizing compilers
2000 La compilation de patrons de filtrage sous Erlang
2023-11 Fair vaccination strategies with influence maximization : a case study on COVID-19
2023-06 FETA : fairness enforced verifying, training, and predicting algorithms for neural networks
2023-11 Fairness through domain awareness : mitigating popularity bias for music discovery
2020-07 Vérification des patrons temporels d’utilisation d’API sans exécution du code : une approche et un outil
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-09 Articulating design-time uncertainty with DRUIDE
2016-10 Évolution des génomes par mutations locales et globales : une approche d’alignement
2002 Algorithmes pour le réarrangement des génomes par inversions
2016-08 Algorithmes de construction et correction d'arbres de gènes par la réconciliation
2020-08 Edit distance metrics for measuring dissimilarity between labeled gene trees
2001 Recherche de structures secondaires dans les séquences biologiques
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
2003 Réarrangement de génomes par inversions et analyse de l'ensemble des solutions minimales
2006 Étude de la combinaison de la technique quasi-Monte Carlo randomisé vectoriel avec l'échantillonnage exact
2006 Optimisation stochastique pour l'affectation du personnel polyvalent dans un centre d'appels téléphoniques
Nombre de résultats : 1474