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
1989 Modélisation des circuits VLSI et conception en vue de leur testabilité
2009 Modélisation et réalisation de la couche physique du système de communication numérique sans fil, WiMax, sur du matériel reconfigurable
1991 Analyse de pannes multiples utilisant une technique d'élimination rapide
2008 Modélisation et implémentation des patrons de conception
2009 Timing verification in transaction modeling
2004 De la fusion du génie logiciel et d'une bibliothèque à source ouverte pour la modélisation/simulation de processus matériel et logiciel
2006 Méthodologie de conception d'un modèle comportemental pour la vérification formelle
1992 Analyse et génération de vecteurs du test pour les pannes multiples
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