Présentation de la mention

Вид материалаДокументы

Содержание


Responsable : Gérard Sou
Подобный материал:
1   ...   32   33   34   35   36   37   38   39   ...   133




Acronyme : ca

Spécialité : STL

6 ECTS

Niveau : 400

Semestre : S2

Titre : Compilation avancée

Responsable : Emmanuel CHAILLOUX

Répartition hebdomadaire ou semestrielle


(CM: 2h00)(TD: 2h00)(TME: 2h00)

Contenu



Ce cours propose d'étudier la compilation vers du code pour machines abstraites et vers du code natif. Il permet de maîtriser les schémas de compilation de traits de haut niveau (structures de données allouées dynamiquement, fonctionnalité, traits objet). Il aborde également les différents types d'optimisation de programme. L'accent sera particulièrement mis sur la mise en oeuvre logicielle de ces différents aspects de la compilation.

Expérience du responsable dans le domaine de l’UE



Mes thèmes de recherche sont articulés autour des langages fonctionnels statiquement typés, en particulier du langage Caml. Ces travaux s'inscrivent dans le développement d'environnement de programmation (compilation efficace, interopérabilité et aide au développement), dans la réalisation d'applications justifiant l'utilisation de tels langages et dans l'intégration d'autres paradigmes de programmation (parallélisme, programmation par objets) dans le cadre confortable du typage statique.

Réalisations du responsable dans le domaine de l’UE




  • E. Chailloux/P. Manoury/B. Pagano, Développement d'applications avec Objective Caml, O'Reilly 2000
  • E. Chailloux/C. Foisy, A portable Implementation for Objective Caml Flight, Parallel Processing Letters 2003
  • E. Chailloux, Dynamic Object Typing in Objective Caml, International LISP Conference 2002
  • R. Montelatici/E. Chailloux/B. Pagano, Objective Caml on .NET : The OCamil Compiler, .NET Technologies, 2005
  • E. Chailloux/J. Verlaguet, HirondML: Fair Threads Migrations for Objective Caml, HLPP 2005







Acronyme : cacb

Spécialité : ACSI

3 ECTS

Niveau : 500

Semestre : S3

Titre : Circuiterie analogique CMOS et BICMOS (CMOS & BICMOS analog design)

Responsable : Gérard Sou

Répartition hebdomadaire ou semestrielle


(30h/7 semaines)

Contenu



Approfondissement en conception de circuits intégrés analogiques.

Expérience du responsable dans le domaine de l’UE



Maitre de Conférence au laboratoire LISIF, groupe Micro-Electronique, Instrumentation, Micro-Ondes et Electromagnétisme, équipe Composants Intégrés et Capteurs, action Micro-électronique Analogique et Mixte.

Réalisations du responsable dans le domaine de l’UE




  • A SiGe BiCMOS, Low Noise and Wide Band Amplifier Working at 77 K. Damien Prele , Geoffroy Klisnick , Gérard Sou , Michel Redon , Alain Kreisler , Cyrille Boulanger DCIS 2004, Bordeaux