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 décroissant Titre Trier par titre en ordre décroissant
1996-03 Un outil pour la spécification de matériel et la génération de modèles exécutables
1998-12 Modélisation de la structure 3-D des ARN par satisfaction de contraintes
1999 Bounding of switching activity in logic circuits
2000 Un modèle uniforme pour la modélisation et la métamodélisation d'une mémoire d'entreprise
2000-01 Conception et implantation d'un système de gestion de réseaux distribué basé WEB avec Java
2002 Compilation optimisante à l'aide de métaheuristiques
2002 Gestion de flotte avec fenêtres horaires : approches de résolution mixtes utilisant la programmation par contraintes
2002 Demand-driven type analysis for dynamically-typed functional languages
2002 Problèmes de routages dans les réseaux optiques
2002 Expansion de requête dans la recherche d'information : comparaison des ressources et des méthodes