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
2001 Optimisation de circuits lors de la synthèse à partir de langages de haut niveau
2001 Méthodes pour améliorer la qualité des implantations matérielles de systèmes informatiques
1998 Estimation des performances du système PULSE V1 pour des applications de nature itérative
2005 Une plateforme pour le raffinement des services d'OS pour les systèmes embarqués
2006 Optimisation mémoire et exploration architecturale d'applications multimédias sur un réseau sur puce
2004 The co-design methodologies on click router application system
2011-08 Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes
2009 Nouvelles approches pour la conception d'outils CAO pour le domaine des systèmes embarqués
2006 Distribution d'objets avec les techniques de développement orientées aspects
2004 Réutilisation des processus d'affaires pour le développement de systèmes d'information
1999 Génération automatique de cas de test pour les systèmes modélisés par des machines à états finis communicantes
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
1993 Multi-partitionnement des réseaux pour des applications en VLSI
1992 Analyse et génération de vecteurs du test pour les pannes multiples
1989 Testabilité et tolérance aux fautes des circuits logiques à structure régulière
1991 De l'à-propos du modèle de simulation optimiste pour l'implantation de VHDL dans un environnement informatique distribué
2006 Méthodologie de conception d'un modèle comportemental pour la vérification formelle
2003 Understanding retargeting compilation techniques for network processors
2003 ARM processor modeling at a cycle accurate level in systemC
2009-12 Timing verification in transaction modeling
2001 Visualisation interactive des résultats de simulation de matériel modélisé avec SystemC
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
1991 Analyse de pannes multiples utilisant une technique d'élimination rapide
2013-04 Parallelization of SAT on Reconfigurable Hardware
1996 Estimation de la performance et méthodes d'allocation dans la synthèse de systèmes numériques
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
2008 Intégration d'un système d'exploitation dans le flot de développement logiciel/matériel
2008 Design et implémentation sur FPGA d'un algorithme DES
2002 Évaluation de la performance dans la modélisation SystemC de systèmes multiprocesseur à base de processeur réseau
Nombre de résultats : 1474