Propositions de stages - 3ème cycle - année 1999-2000

Cnet (Lannion) : stages de DESS GLA
thèmes : autour de XML et O'CAML
stages à effectuer au Cnet
- Camlet (2 sujets) (PostScript)
Cnet (Lannion) : stages de DESS GLA
thèmes : autour des protocoles (décrits en ASN.1) utilisant O'CAML pour l'implantation
stages à effectuer au Cnet
- Profilage et améliorations d'un algorithme de comparaison de deux spécification ASN.1 (PDF)
- Outil de traduction de modules ASN.1 en schémas XML (PDF)
- Un analyseur syntaxique pour la notation ECN (contrôle de codage) (PDF)
- Codage standard des données ASN.1 pour les implantations de systèmes LDS (PDF)
CEA (Saclay) : stages de DESS GLA et/ou DEA SPP/ LFI selon précisions
thèmes : interfaçage O'CAML, compilation O'CAML, et architecture distribuée JAVA
stage à effectuer à l'université en contact avec le CEA de Saclay
- interfaçage SciLab / O'CAML (sujet DESS)
- architecture distribuée Java (sujet DESS)
- compilation O'Caml (sujet DESS ou DEA)
Cryo-networks (Saint-Ouen) : stages de DESS GLA et/ou DEA SPP ou LFI
thèmes : conception et implantation de langage autour du langage SCOL
stages à effectuer chez Cryo-networks ou à l'université
- Liste des propositions
  Les sujets 2 (extension objet) et 6 (debug fonctionnel) peuvent être pris en DEA ou DESS,
  le sujet 3 (machine virtuelle) et 5 (portage) en DESS,
  le sujet 1 (agents) est en cours de réalisation et le sujet 4 (3D) sort de nos compétences.