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 descending order Title Sort by title in descending order
2004 Accélération de prédiction génétique par implémentation hautement parallèle sur un matériel re-configurable
2006 Méthodologie et outil de conception de systèmes embarqués basés sur le cadre d'applications .NET
1991 De l'à-propos du modèle de simulation optimiste pour l'implantation de VHDL dans un environnement informatique distribué
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
2006 Méthodologie de conception d'un modèle comportemental pour la vérification formelle
2003 ARM processor modeling at a cycle accurate level in systemC
2003 Understanding retargeting compilation techniques for network processors
2009 Timing verification in transaction modeling
Number of results : 1664