projets de Master (M1) année 2007-2008 : spécialité STL

Cette page contient des précisions sur les projets STL (anciennement TER) que je propose.

liste des PSTL

• sujets déposés (lien en https)
  • Extension du plugin OCaide
    co-encadrement avec Nicolas Bros

    ocaide, eclipse, ocaml,
    autres liens : plugin ODT, ancienne version d'Ocaide lien)

  • Programmation Esterel pour les robots LEGO NTX
    co-encadrement avec Tong Lieu et Philippe Trebuchet

    Esterel, programmation Esterel des robots RCX : lien 1, lien 2
    le langage NQC
    un cours de description des environemments pour RCX et NTX : lien
    le site anglais de wikipedia : lien

  • Objective Caml sur PSP
    SDK open source de la PSP

  • interprète de la machine virtuelle Caml en Java
    co-encadrement avec Benjamin Canou

    article sur la ZINC (machine abstraite O'Caml), projets autour d'O'CAML-JAVA

  • Objective Caml sur PlayStation 3 pour le calcul scientifique
    co-encadrement avec Jean-Luc Lamotte

    description de la PS3,
    un article et une implantation d'une bibliothèque Altivec G4 pour caml (suivre lien),
    des extensions parallèles en Caml (projet CaraML)

Ces PSTL (ex-TER) utilisent en règle générales le langage O'Caml comme langage d'implantation.

---

derniere modification le 10/01/2008

---