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
2005 Une plateforme pour le raffinement des services d'OS pour les systèmes embarqués
1998 Estimation des performances du système PULSE V1 pour des applications de nature itérative
2001 Méthodes pour améliorer la qualité des implantations matérielles de systèmes informatiques
2001 Optimisation de circuits lors de la synthèse à partir de langages de haut niveau
2005 Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables
2000 Covérification des systèmes intégrés
2006 Mécanismes d'introspection pour la vérification semi-formelle de modèles au niveau système
2023-10 Parameter-efficient modeling and robust automatic evaluation of image captioning
2020-08 Towards privacy preserving cooperative cloud based intrusion detection systems
2000 Improvements brought to graphical user interfaces for insurance illustration systems