projets de Master (M1) année 2011-2012 : spécialité STL

Cette page contient des précisions sur les projets STL (anciennement TER) que je propose le plus souvent en co-encadrement. Certains sont communs avec la spé:cialité SAR.

liste des PSTL

• sujets déposés (lien en https)
  • Compilation Esterel pour robots LEGO (co-encadrement avec Philippe Trebuchet et Tong Lieu)

    cec

  • Portage de la machine ZAM sur architecture Arduino (co-encadrement avec Benoit Vuagon et Philippe Wang)

    ocapic

  • Réalisation sur microcontroleur PIC avec Ocapic (co-encadrement avec Benoit Vaugon et Philippe Wang)

    ocapic

  • Ocaide sous Windows (co-encadrement avec Nicolas Bros)

    ocaide, eclipse, ocaml,

  • Extension du plugin Ocaide (co-encadrement avec Nicolas Bros)

    ocaide, eclipse, ocaml,

  • Z3, une implantation de la ZAM utilisant VMkit (co-encadrement avec Bertil Folliot et Gael Thomas), PSTL-PSAR

    cadmium,vmkit, llvm, hlvm

  • VMkitMC : machine virtuelle adaptable multi-coeur.

    vmkit, llvm, hlvm, OCaml

---

derniere modification le 05/01/2012

---