Master ALD - Année 2005-2006

Meilleurs rapports bibliographiques

• Fadi Boulos, Etat de l’art des critères objectifs de qualité d’images et de vidéos
• Manal El Dick, Haute Disponibilité de la Réplication optimiste dans les systèmes DHT
• Fabien Hermenier Evolution dynamique des grilles informatiques : Application à la gestion d'énergie
• Mikaël Barbero, Intégration de la transformation de modèles dans un processus de développement itératif

Sujets de stage

Équipes du LINA

ATLAS-GDD

• Atlas-GDD-P1-S1, Patrick Valduriez, Traitement des streams dans un système P2P
• Atlas-GDD-P2-S1, Esther Pacitti, Réconciliation de données répliquées dans un système P2P
• Atlas-GDD-P3-S1, Patricia Serrano Alvarado, Vers une gestion globale de modèles dans AMMA
• Atlas-GDD-P4-S1, Gilles Nachouki, Routage des messages au sein du système SenPeer
• Atlas-GDD-P5-S1, Philippe Lamarre, Gestion dynamique de communautés dans un système pair à pair
• Atlas-GDD-P6-S1, Silvie Cazalens, Émergence d'organisation dans les systèmes pair à pair

ATLAS-GRIM

• Atlas-GRIM-P1-S1, Noureddine Mouaddib, Construction et maintenance de synopsis pour l’interrogation approchée de flux de données
• Atlas-GRIM-P1-S1, Noureddine Mouaddib, Intégration de l'interrogation de résumés de données dans le SGDB PostgreSQL
• Atlas-GRIM-P4-S1, Guillaume Raschia, Analyse en ligne de résumés de bases de données
• Atlas-GRIM-P4-S2, Guillaume Raschia, Évaluation de la qualité des collections de résumés : application à la maintenance et à l’alignement de résumés
• Atlas-GRIM-P5-S1, José Martinez, Grille multimédia
• Atlas-GRIM-P5-S2, José Martinez, Personnalisation et efficacité de l’accès à l’information multimédia
• Atlas-GRIM-P6-S1, Julien Cohen, Système pair à pair (p2p) pour la classification de documents multimédias

COLOSS

• COLOSS-P1-S1, Pascal Andre, Processus composite de vérification de modèles
• COLOSS-P2-S1, Gilles Ardourel, COLOSS : Stratégies d'implémentation de modèles à composants flexibles
• COLOSS-P3-S1, Christian Attiogbé, Noyau d'un envionnement de spécifications multi-paradigmes
• COLOSS-P3-S2, Christian Attiogbé, Vérification en B des propriétés fonctionnelles de composants Kmelia
• COLOSS-P4-S1, Henri Habrias, Étude sur l'intégration du GRAFCET au B événementiel

OBASCO

• Obasco-P2-S1, Rémi Douence, Passage de contexte par aspects
• Obasco-P3-S1, Thomas Ledoux, Reconfiguration dynamique d'architectures basées sur des composants Fractal réparties
• Obasco-P4-S1, Jean-Marc Menaud, AOP et évolution dynamique des systèmes d'exploitation : Application à la gestion d'énergie dans les grilles informatiques
• Obasco-P5-S1, Gilles Muller, Une approche langage à l'évolution des drivers dans Linux
• Obasco-P5-S2, Gilles Muller, Stockage et visualisation robuste de vidéo sur CD/DVD
• Obasco-P6-S1, Jacques Noyé, KAO : Un langage de composants et d'aspects intégrés
• Obasco-P7-S1, Jean-Claude Royer, Génération d'une spécification à partir d'un automate symbolique avec actions

MOC

• MOC-P1-S1, Tahar Khammaci, Modèle de correspondance ADL/ UML via un méta ADL
• MOC-P2-S1, Dalila Tamzalit, Validation des concepts d’évolution d’architecture à travers une plateforme orientée modèles
• MOC-P3-S1, Mourad OUSSALAH, Composition et wrapping des connecteurs logiciels
• MOC-P3-S2, Mourad OUSSALAH, Architectures Logicielles Ouvertes appliquées au Learning Design

Équipe de l'IRCCYN

IVC

• IVC-P1-S1, Dominique Barba, Compression d’images naturelles par Quantification Vectorielle Algébrique
• IVC-P3-S1, Salima Hamma, Étude des protocoles de routage sécurisés et d'une solution mojette dans un réseau 802.11 en mode ad'hoc
• IVC-P4-S1, Patrick Le Callet, Mesure de la netteté d’image en télévision haute définition
• IVC-P5-S1, Florent Autrusseau, Compression sans pertes basée sur une transformation de Radon discrète
• IVC-P5-S2, Florent Autrusseau, Suivi et reconnaissance gestuelle
• IVC-P7-S1, Vincent Ricordel, Décomposition d’un groupe d’images par Transformée en Ondelettes 3D et suivi de contours au sein de la pyramide d’images
• IVC-P9-S1, Émilie Caillaut, Indexation d'une base de données de documents manuscrits, identification du scripteur
• IVC-P9-S2, Christian Viard-Gaudin, Reconnaissance et interprétation de formules mathématiques manuscrites en lignes
• IVC-P11-S1, Mathieu Carnec, Critères de qualité pour la télévision haute-définition