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
2002 Demand-driven type analysis for dynamically-typed functional languages
2023 Adding hygiene to gambit scheme
2020 Diffusion de modules compilés pour le langage distribué Termite Scheme
1997 Conception et réalisation d'une variante parallèle de C basée sur la création paresseuse de tâche
2009 Sur l’utilisation du langage de programmation Scheme pour le développement de jeux vidéo
1996 Un système de programmation Scheme pour micro-contrôleur
2002 Compilation statique de Java
2010 Implantation des futures sur un système distribué par passage de messages
2000 La compilation de patrons de filtrage sous Erlang
1999 Un générateur de code machine pour le compilateur Gambit
2019 Simple optimizing JIT compilation of higher-order dynamic programming languages
1999 Génération de machines virtuelles pour l'exécution de programmes compressés
2021 Reusable semantics for implementation of Python optimizing compilers
2026 A fully reproducible C toolchain rooted on POSIX shell
1999 Analyse et optimisation globales de modules compilés séparément
2002 Un protocole de communication pour applications transactionnelles distribuées
2024 Dichotomy(?) of fairness and efficiency
2024 Embedding cultural diversity in prototype-based recommender systems
2023 Fair vaccination strategies with influence maximization : a case study on COVID-19
2023 Fairness through domain awareness : mitigating popularity bias for music discovery
2023 FETA : fairness enforced verifying, training, and predicting algorithms for neural networks
2025 Cracks in the platform : detecting inconsistencies and workarounds in low-code applications
2020 Vérification des patrons temporels d’utilisation d’API sans exécution du code : une approche et un outil
2026 Empowering rationale-aware commit-based development
2019 Modelling and Reasoning with Software Product Lines with Design Choices
2020 Articulating design-time uncertainty with DRUIDE
2020 Towards using fluctuations in internal quality metrics to find design intents
2025 Évaluation de la confiance dans les modèles épidémiologiques guidée par la provenance : une approche de manipulation formelle des modèles
2025 Rapid prototyping for systematic reuse in compartmental models
2024 Modelling and evolving design-time uncertainty
Nombre de résultats : 1661