Université de Montréal / Faculté des arts et des sciences Département d'informatique et de recherche opérationnelle

Je donne

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	Author Sort by author in ascending order	Contributor by contributor in ascending order
2006	Optimisation mémoire et exploration architecturale d'applications multimédias sur un réseau sur puce	Gagné, Vincent	Aboulhamid, El Mostapha; Nicolescu, Gabriela
2004	The co-design methodologies on click router application system	Li, Dan	Aboulhamid, El Mostapha; Nicolescu, Gabriela
2005	Une plateforme pour le raffinement des services d'OS pour les systèmes embarqués	Girodias, Bruno	Aboulhamid, El Mostapha; Nicolescu, Gabriela
2011-08	Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes	Azzabi, Ahmed	Aboulhamid, El Mostapha; Nicolescu, Gabriela
2001	Méthodes pour améliorer la qualité des implantations matérielles de systèmes informatiques	Chabini, Noureddine	Aboulhamid, El Mostapha; Savaria, Y.
1998	Estimation des performances du système PULSE V1 pour des applications de nature itérative	Chabini, Noureddine	Aboulhamid, El Mostapha; Savaria, Y.
2001	Optimisation de circuits lors de la synthèse à partir de langages de haut niveau	Boyer, François-R.	Aboulhamid, El Mostapha; Savaria, Y.
2005	Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables	Gorse, Nicolas	Aboulhamid, El Mostapha; Savaria, Yvon
2000	Covérification des systèmes intégrés	Azizi, Mostafa	Aboulhamid, El Mostapha; Tabar, Sofiene
2006	Mécanismes d'introspection pour la vérification semi-formelle de modèles au niveau système	Metzger, Michel	Aboulhamid, El Mostapha; Vachon, Julie

Number of results : 1154