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.

 

 

Pour une recherche détaillée
 Visiter Papyrus
Date Trier par date en ordre croissant Titre Trier par titre en ordre croissant
2013-06 Improving automation in model-driven engineering using examples
1999 Méthode de simulation aléatoire guidée par un algorithme génétique pour la vérification du design de circuits numériques
2006 Résumé automatique des commentaires de consommateurs
2001 Integrating MDG variable ordering in a VHDL-MDG design verification system
2003 De computatione quantica
2007 Multicast explicite dans les réseaux ad hoc : implémentation, analyse et simulations d'un nouveau protocole multicast pour MANETs
2012-05 A Compiler for the dependently typed language Beluga
1990 Vers la mise en place d'un système expert pour l'évaluation de la capacité structurale des chaussées
2012-08 Sécurité polynomiale en cryptographie
1994 Algorithmes génétiques hybrides pour l'optimisation combinatoire
Nombre de résultats : 1474