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
2006 Probe-level linear model fitting and mixture modeling results in high accuracy detection of differential gene expression
2012-01 Application du concept des transactions pour la modélisation et la simulation multicoeur des systèmes sur puce
2008 Design et implémentation sur FPGA d'un algorithme DES
2008 SCIL processor : a common intermediate language processor for embedded systems
2008 Modélisation et implémentation des patrons de conception
2008 Intégration d'un système d'exploitation dans le flot de développement logiciel/matériel
2009 Modélisation et réalisation de la couche physique du système de communication numérique sans fil, WiMax, sur du matériel reconfigurable
2013-04 Parallelization of SAT on Reconfigurable Hardware
2004 De la fusion du génie logiciel et d'une bibliothèque à source ouverte pour la modélisation/simulation de processus matériel et logiciel
2009-12 Timing verification in transaction modeling
2003 ARM processor modeling at a cycle accurate level in systemC
2003 Understanding retargeting compilation techniques for network processors
2006 Méthodologie de conception d'un modèle comportemental pour la vérification formelle
2004 Accélération de prédiction génétique par implémentation hautement parallèle sur un matériel re-configurable
2006 Méthodologie et outil de conception de systèmes embarqués basés sur le cadre d'applications .NET
2004 Réutilisation des processus d'affaires pour le développement de systèmes d'information
2006 Distribution d'objets avec les techniques de développement orientées aspects
2006 Optimisation mémoire et exploration architecturale d'applications multimédias sur un réseau sur puce
2009 Nouvelles approches pour la conception d'outils CAO pour le domaine des systèmes embarqués
2011-08 Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes
2004 The co-design methodologies on click router application system
2005 Une plateforme pour le raffinement des services d'OS pour les systèmes embarqués
2005 Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables
2006 Mécanismes d'introspection pour la vérification semi-formelle de modèles au niveau système
2005 BLED : système d'aide à la recherche d'informations sur Internet
2007 LORESA : un système de recommandation d'objets d'apprentissage basé sur les annotations sémantiques
2005 HELP : localisation et recommandation d'experts pour le développement d'un système d'aide collaborative
2020-09 A game theoretical model for a collaborative e-learning platform on privacy awareness
2007 TAARAC : test d'anglais adaptatif par raisonnement à base de cas
2019-12 Mise en oeuvre d’une approche sociotechnique de la vie privée pour les systèmes de paiement et de recommandation en ligne
2019-03 Sensibilisation à la protection de la vie privée dans un contexte d’utilisation de dispositifs portables intelligents
2018-04 Vers une plateforme holistique de protection de la vie privée dans les services géodépendants
2017-10 “WARES”, a Web Analytics Recommender System
2006 RARE : un système de recommandation de cours basé sur les régles d'association
2012-08 PROTECT_U: Un système communautaire pour la protection des usagers de Facebook
2012-11 Mures : Un système de recommandation de musique
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
2016-01 Priv-C : une politique de confidentialité personnalisable
2006 UMAKE : adaptation et recommandation d'outils d'aide d'un quiz pour l'auto-évaluation
2005 DIA : un système de recommandation de livres dans un contexte pédagogique
2003 PCFinfer : an intelligent product recommendation agent for electronic commerce
2003 Bimodal adaptive hypermedia and interactive multimedia a web-based learning environment based on Kolb's theory of learning style
2004 IIS : an intelligent interaction system that provides e-service, based on interaction and case-based reasoning
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-08 Towards privacy preserving cooperative cloud based intrusion detection systems
2009-07 Papyres : un système de gestion et de recommandation d’articles de recherche
2005 Vie privée en commerce électronique
2003 Développement d'un curriculum et d'un modèle de l'apprenant orientés vers un domaine multidisciplinaire : l'informatique quantique
2016-04 Un modèle rétroactif de réconciliation utilité-confidentialité sur les données d’assurance