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
2008 Intégration d'un système d'exploitation dans le flot de développement logiciel/matériel
1989 Modélisation des circuits VLSI et conception en vue de leur testabilité
2008 Modélisation et implémentation des patrons de conception
2008 SCIL processor : a common intermediate language processor for embedded systems
2008 Design et implémentation sur FPGA d'un algorithme DES
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
1996 Estimation de la performance et méthodes d'allocation dans la synthèse de systèmes numériques
2012-01 Application du concept des transactions pour la modélisation et la simulation multicoeur des systèmes sur puce
2002 Évaluation de la performance dans la modélisation SystemC de systèmes multiprocesseur à base de processeur réseau
2013-04 Parallelization of SAT on Reconfigurable Hardware
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
2009-12 Timing verification in transaction modeling
2001 Visualisation interactive des résultats de simulation de matériel modélisé avec SystemC
2003 Understanding retargeting compilation techniques for network processors
2003 ARM processor modeling at a cycle accurate level in systemC
2006 Méthodologie de conception d'un modèle comportemental pour la vérification formelle
1989 Testabilité et tolérance aux fautes des circuits logiques à structure régulière
1992 Analyse et génération de vecteurs du test pour les pannes multiples
1991 De l'à-propos du modèle de simulation optimiste pour l'implantation de VHDL dans un environnement informatique distribué
Number of results : 1467