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
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
2003 ARM processor modeling at a cycle accurate level in systemC
2003 Understanding retargeting compilation techniques for network processors
2006 Méthodologie de conception d'un modèle comportemental pour la vérification formelle
2006 Méthodologie et outil de conception de systèmes embarqués basés sur le cadre d'applications .NET
2004 Accélération de prédiction génétique par implémentation hautement parallèle sur un matériel re-configurable
1999 Génération automatique de cas de test pour les systèmes modélisés par des machines à états finis communicantes
2004 Réutilisation des processus d'affaires pour le développement de systèmes d'information
2006 Distribution d'objets avec les techniques de développement orientées aspects
2011-08 Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes