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.

Pour une recherche détaillée
Visiter Papyrus

Date Trier par date en ordre croissant	Titre Trier par titre en ordre croissant	Auteur Trier par auteur en ordre croissant	Directeur par contributeur en ordre croissant
2001	CPar : implantation et évaluation d'un compilateur pour une variante parallèle de C	Methot, Éric	Crainic, Teodor Gabriel; Gendron, Bernard; Feeley, Marc
2001	Un générateur CP pour la vérification temporelle des contrôleurs d'interfaces	Zhang, Ying	Cerny, Eduard
2001	Optimisation de circuits lors de la synthèse à partir de langages de haut niveau	Boyer, François-R.	Aboulhamid, El Mostapha; Savaria, Y.
2001	A simplified Java, J	Xue, Xinjian	Vaucher, Jean
2001	State abstraction in SDL	Hu, Yun	Keller, Rudolf; Petrenko, Alexandre
2001	Méthodes pour améliorer la qualité des implantations matérielles de systèmes informatiques	Chabini, Noureddine	Aboulhamid, El Mostapha; Savaria, Y.
2001	Un modèle bi-niveau pour la gestion du revenu en transport aérien	Côté, Jean-Philippe	Marcotte, Patrice; Savard, Gilles
2001	RCR : un profil UML pour la rétroconception, la compréhension et la réingénierie de logiciels	St-Denis, Guy	Keller, Rudolf
2001	Environnement de test d'un serveur de négociations électroniques	Ben Najim, El mostafa	Dssouli, Rachida; Khendek, Ferhat
2001	Compositional verification using interface recognizers/suppliers (IRS)	Jahanpour, Mohammad-Sadegh	Cerny, Eduard

Nombre de résultats : 1181