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
2009 Nouvelles approches pour la conception d'outils CAO pour le domaine des systèmes embarqués
2006 Optimisation mémoire et exploration architecturale d'applications multimédias sur un réseau sur puce
2011-08 Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes
2005 Une plateforme pour le raffinement des services d'OS pour les systèmes embarqués
2001 Méthodes pour améliorer la qualité des implantations matérielles de systèmes informatiques
1998 Estimation des performances du système PULSE V1 pour des applications de nature itérative
2001 Optimisation de circuits lors de la synthèse à partir de langages de haut niveau
2005 Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables
2000 Covérification des systèmes intégrés
2006 Mécanismes d'introspection pour la vérification semi-formelle de modèles au niveau système
2023-10 Parameter-efficient modeling and robust automatic evaluation of image captioning
2010-07 Web2.0, knowledge sharing and privacy in E-learning
2016-02 Gestionnaire de vie privée : un cadre pour la protection de la vie privée dans les interactions entre apprenants
2020-09 A game theoretical model for a collaborative e-learning platform on privacy awareness
2020-08 Towards privacy preserving cooperative cloud based intrusion detection systems
2005 HELP : localisation et recommandation d'experts pour le développement d'un système d'aide collaborative
2019-03 Sensibilisation à la protection de la vie privée dans un contexte d’utilisation de dispositifs portables intelligents
2014-10 Évaluation et amélioration du rendement de la formation en entreprise : vers une démarche basée sur la gestion des processus d’affaires
2022-08 A personality aware recommendation system
2022-06 Vers la sécurité des conteneurs : les comprendre et les sécuriser
Nombre de résultats : 1156