COMPLETED

• Ph.D. Thesis (3)

  • Vakili, S. (2014). Accuracy-Guaranteed Fixed-Point Optimization in Hardware Synthesis and Processor Customization [Ph.D. thesis, École Polytechnique de Montréal].
  • Moss, L. (2010). Profilage, caractérisation et partitionnement fonctionnel dans une plate-forme de conception de systèmes embarqués [Ph.D. thesis, École Polytechnique de Montréal].
  • Nekili, M. (1998). Synthèse de réseaux de distribution d'horloges en présence de variations du procédé de fabrication [Ph.D. thesis, École Polytechnique de Montréal].

• Master's Thesis (51)

  • Portas, F. (2023). Outils de codesign pour la vérification de partitionnement par hyperviseur sur système embarqué matériel-logiciel de criticités mixtes [Master's thesis, Polytechnique Montréal].
  • Fortier, F. (2018). Estimation par analyse statique de la bande-passante d'accélérateurs en synthèse de haut niveau sur FPGA [Master's thesis, École Polytechnique de Montréal].
  • Gauthier, E. (2017). Exploration d'une méthodologie de développement matériel et logiciel au niveau système appliqué à un système d'encodage de flux vidéo évolutif [Master's thesis, École Polytechnique de Montréal].
  • Desaulty, A. (2016). Intégration dans un flot de conception système d'un outil de traduction assistée de code C pour la création de coprocesseurs matériels [Master's thesis, École Polytechnique de Montréal].
  • Gaudron, M. (2016). Expérimentation d'une suite d'outils pour automatiser le passage d'une conception basée sur un modèle vers la réalisation d'une implémentation, en passant par l'exploration architecturale [Master's thesis, École Polytechnique de Montréal].
  • Lacroix, A. B. (2016). Implémentations logicielle et matérielle de l'algorithme Aho-Corasick pour la détection d'intrusions [Master's thesis, École Polytechnique de Montréal].
  • Rivard-Girard, S. (2015). Prédiction de performance de matériel graphique dans un contexte avionique par apprentissage automatique [Master's thesis, École Polytechnique de Montréal].
  • Bao, L. (2014). Méthode de conception dirigée par les modèles pour les systèmes avioniques modulaires intégrés basée sur une approche de cosimulation [Master's thesis, École Polytechnique de Montréal].
  • Legault, V. (2014). Méthodologie expérimentale pour évaluer les caractéristiques des plateformes graphiques avioniques [Master's thesis, École Polytechnique de Montréal].
  • Medeiros Monteiro, F. (2013). Caractérisation automatisée de la consommation de puissance des processeurs pour l'estimation au niveau système [Master's thesis, École Polytechnique de Montréal].
  • Rogers-Vallée, M. (2012). Une méthode d'estimation de la consommation de puissance pour un système sur puce [Master's thesis, École Polytechnique de Montréal].
  • Savard, J. (2012). Intégration d'un simulateur de partitionnement spatial et temporel à un flot de conception basé sur les modèles [Master's thesis, École Polytechnique de Montréal].
  • Allard Bernier, J. (2011). Méthode de reconfiguration dynamique pour un réseau-sur-puce tolérant aux fautes [Master's thesis, École Polytechnique de Montréal].
  • Guérard, H. (2011). Intégration d'un modèle de réseau sur puce dans un flôt de conception de niveau système [Master's thesis, École Polytechnique de Montréal].
  • Bah, F. L. (2009). Conception au niveau système de l'application de protocole sans fil WIMAX [Master's thesis, École Polytechnique de Montréal].
  • Fontaine, S. (2008). Conception et réalisation d'un outil d'exploration architecturale de la hiérarchie de mémoire d'un système sur puce afin d'optimiser la performance de la plateforme logicielle [Master's thesis, École Polytechnique de Montréal].
  • Goyette, S. (2008). Élaboration d'un modèle d'abstraction des communications point-à-point pour une plateforme (SOC) multiprocesseur hétérogène [Master's thesis, École Polytechnique de Montréal].
  • Laug, N. (2008). Gestion générique et raffinement de systèmes électroniques à haut niveau [Master's thesis, École Polytechnique de Montréal].
  • Migliorini, C. (2008). Exploration architecturale de communications-sur-puce au niveau système [Master's thesis, École Polytechnique de Montréal].
  • Beucher, N. (2007). Conception et mise en oeuvre de processeurs configurables pour la conversion de taux de trames vidéos avec compensation de mouvement [Master's thesis, École Polytechnique de Montréal].
  • Faiz, A. (2007). Méthodes de raffinement des communications pour passer d'une plate-forme systemc à un système reprogrammable [Master's thesis, École Polytechnique de Montréal].
  • Hubin, M. (2006). Modélisation et conception d'une architecture à flots d'exécution multiples selon une approche de réutilisation [Master's thesis, École Polytechnique de Montréal].
  • Mahoney, P. (2006). Conception d'une architecture alternative à la technologie "mémoire adressable par contenu" [Master's thesis, École Polytechnique de Montréal].
  • Morin, B. (2006). Parallélisme sur plateforme reconfigurable de calcul à mémoire répartie [Master's thesis, École Polytechnique de Montréal].
  • Provost, S. (2006). Accélération d'une plateforme d'encodage MPEG-4 à l'aide de processeurs configurables [Master's thesis, École Polytechnique de Montréal].
  • Samson, P. (2006). Abstraction de la synchronisation dans une stratégie de co-design logiciel/matériel sur une plateforme (SOC) multiprocesseur [Master's thesis, École Polytechnique de Montréal].
  • St-Pierre, F. (2006). Implémentation matérielle d'un réseau sur puce et analyse du fonctionnement dans un environnement multiprocesseurs [Master's thesis, École Polytechnique de Montréal].
  • Thibeault, J.-F. (2006). Exploration de techniques de modélisation et de vérification logicielle en avionique [Master's thesis, École Polytechnique de Montréal].
  • Catudal, S. (2005). Méthodologie orientée performance applicable à la validation d'algorithmes de traitement vidéo et de leur implémentation matérielle [Master's thesis, École Polytechnique de Montréal].
  • Deslauriers, F. (2005). Modélisation d'un réseau intégré sur puce basé sur une architecture en anneau [Master's thesis, École Polytechnique de Montréal].
  • Pierron, L. (2005). Méthodologie de codesign pour les systèmes sur puce programmable [Master's thesis, École Polytechnique de Montréal].
  • Benny, O. (2004). Implémentation d'un modèle de communication transactionnel dans une plate-forme en SystemC [Master's thesis, École Polytechnique de Montréal].
  • Dubois, M. (2004). Modélisation et conception d'une plate-forme de traitement et transmission de signaux vidéo numériques [Master's thesis, École Polytechnique de Montréal].
  • Lavigueur, B. (2004). Multitraitement et processeurs configurables sur une plate-forme de haut niveau [Master's thesis, École Polytechnique de Montréal].
  • Rondonneau, M. (2004). Intégration d'un RTOS dans une plate-forme SystemC destinée à l'exploration architecturale [Master's thesis, École Polytechnique de Montréal].
  • Bertola, M. (2003). Conception, réalisation et étude d'une plate-forme générique basée sur le protocole AMBA AHB [Master's thesis, École Polytechnique de Montréal].
  • Lemire, J.-F. (2003). Synthèse assistée de moniteurs d'assertions à partir d'une méthodologie d'encapsulation d'assertions dans une spécification exécutable [Master's thesis, École Polytechnique de Montréal].
  • Quinn, D. (2003). Exploration architecturale pour la conception de processeurs réseaux basée sur l'utilisation de processeurs configurables [Master's thesis, École Polytechnique de Montréal].
  • Regimbal, S. (2003). Méthode de réutilisation et de couverture pour la vérification fonctionnelle des circuits numériques [Master's thesis, École Polytechnique de Montréal].
  • Wang, J. (2003). Reuse and automatic generation of testbenches for effective hardware verification [Master's thesis, École Polytechnique de Montréal].
  • Filion, L. (2002). Analyse, implantation et intégration d'une bibliothèque pour la spécification des systèmes embarqués dans une méthodologie de codesign [Master's thesis, École Polytechnique de Montréal].
  • Cyr, G. (2001). Interface configurable pour un processeur ARM basée sur le protocole VCI [Master's thesis, École Polytechnique de Montréal].
  • Héneault, Y. (2001). Picasso : un outil de co-design matériel/logiciel pour la conception de systèmes embarqués [Master's thesis, École Polytechnique de Montréal].
  • Yuan, P. (2001). A fixed-point simd array processor and its applications to video compression coding [Master's thesis, École Polytechnique de Montréal].
  • Campagna, I. (2000). Développement d'une méthodologie de codesign matériel/logiciel pour des applications de communications à haute vitesse [Master's thesis, École Polytechnique de Montréal].
  • Le Chapelain, B. (1999). Conception d'une bibliothèque et d'un convolueur 3*3TSPC [Master's thesis, École Polytechnique de Montréal].
  • Guénette, J. (1996). Une méthode de multi-partitionnement de circuits VLSI en vue d'un placement et routage [Master's thesis, École Polytechnique de Montréal].
  • Haddad, M. T. (1996). Réalisation mixte matérielle/logicielle d'un algorithme de routage pour réseaux locaux [Master's thesis, École Polytechnique de Montréal].
  • Bosi, B. (1995). Méthodes de conception de convolueurs dédiés et reconfigurables [Master's thesis, École Polytechnique de Montréal].
  • Belhabla, H. (1994). L'utilisation des plans statistiques d'expérimentation pour la validation d'un système expert [Master's thesis, École Polytechnique de Montréal].
  • Merabet Kroumba, S. (1994). Synthèse de très haut niveau d'architectures parallèles pour des algorithmes exprimés en langage évolué [Master's thesis, École Polytechnique de Montréal].