MAGISTERE d'INFORMATIQUE - Université Joseph Fourier - ANNEE 2002/2003 
 

Voici quelques sujets proposés par différents labos

LSR

•  1 sujet de magistère  :  Transformation de développements B
• et 2 sujets de DEA accessibles : Amélioration des performances d'un générateur de lemmes pour vérifier la correction des logiciels et Analyse de comportement de systèmes B à l'aide de systèmes de transitions finis
• Encore un sujet de TER/magistère : Validation d'applications pour les robots Lego(TM) Mindstorms
   

INRIA + LSR - projet SARDES

• 3 sujets : Web Services pour environnements mobiles; Outil d'expression de politiques de sécurité; Réalisation de NodeOS (interface pour noeud de réseau actif)
• Encore deux sujets : Think/TINI et Etude de services de stockage à hautes perfomances pour grappes de stations

INRIA - projet i3D

• Module pour le retour d'effort sur plan de travail virtuel

INRIA - projet MOVI

Page web avec sujets pour magistère et DEA

CLIPS

• Un sujet sur la reconnaissance vocale : en word et en pdf
• Un sujet sur le traitement de la parole : en word et en pdf
• Un sujet sur Optimisation de code d'un classifieur pour la catégorisation de documents
• 8 sujets autour de la traduction automatique

VERIMAG

• Un sujet : Compilation et ordonnancement de code
• Un autre : Génération automatique du contrôle de systèmes embarqués temps-réel : en ps et en pdf

TIMA

• Deux sujets sur les circuits

LEIBNIZ

• Assistants de preuve et modélisation géométrique

Pensez également à consulter les sujets de DEA proposés par des labos et les pages web de l' IMAG et de l'INRIA