|
Encadrants : Louis Mandel et Marc Pouzet
Thèse soutenue le 6 Janvier 2010
En résumé :
Les applications vidéo hautes performances ont besoin de
traitement intensif et d’une garantie de sûreté (affichage en temps
réel). Dans le domaine du traitement du signal, on utilise
traditionnellement du matériel dédié (ASIC), mais en raison de la
hausse du coup des masques et de la complexité croissante des
applications à réaliser, on recherche désormais un équilibre entre
le matériel et le logiciel.
Notre objectif est de concevoir un langage de programmation et un compilateur appropriés à ce type d’applications. Le paradigme synchrone fournit une génération de code ayant des propriétés de temps réel et de ressources bornées, mais impose des contraintes trop fortes lors de la composition de plusieurs flots de données. On cherche donc à étendre le modèle synchrone en relâchant ces contraintes de manière contrôlée, afin de bénéficier d’une composition plus souple, tout en gardant les garanties offertes par les langages synchrones.
Notre langage ”support” est Lucid Synchrone.
Mots-clefs : Langages synchrones, compilation, synthèse d’horloges, réseaux de Kahn, traitement multimédia
Publications :
[1] |
Louis Mandel et Florence
Plateau.
Typage des horloges périodiques en Lucy-n.
In Vingt deuxièmes Journées Francophones des Langages
Applicatifs (JFLA 11), La Bresse, France, Janvier 2011. [ bib | en savoir plus | .pdf ] |
[2] |
Louis Mandel, Florence
Plateau et Marc
Pouzet.
Lucy-n: a n-Synchronous Extension of Lustre.
In Tenth International Conference on Mathematics of
Program Construction (MPC 10), Québec, Canada, Juin 2010. [ bib | en savoir plus | .pdf ] |
[3] |
Louis Mandel, Florence
Plateau et Marc
Pouzet.
Clock Typing of n-Synchronous Programs.
In Designing Correct Circuits (DCC 10), Paphos, Cyprus,
Mars 2010. [ bib | .pdf ] |
[4] |
Louis Mandel, Florence
Plateau et Marc
Pouzet.
Lucy-n : une extension n-synchrone de Lustre.
In Deuxièmes Journées nationales du GDR Génie
de la Programmation et du Logiciel, Pau, France, Mars 2010. [ bib | .pdf ] |
[5] |
Louis Mandel, Florence
Plateau et Marc
Pouzet.
Lucy-n : une extension n-synchrone de Lustre.
In Vingt et unièmes Journées Francophones des Langages
Applicatifs (JFLA 10), Vieux-Port La Ciotat, France, Janvier 2010. [ bib | en savoir plus | .pdf ] |
[6] |
Florence Plateau.
Modèle n-synchrone pour la programmation de réseaux de
Kahn à mémoire bornée.
Thèse de doctorat, Université Paris-Sud 11, Janvier 2010. [ bib | en savoir plus | .pdf ] |
[7] |
Albert Cohen, Louis
Mandel, Florence
Plateau et Marc
Pouzet.
Relaxing Synchronous Composition with Clock Abstraction.
In Hardware Design using Functional Languages (HFL 09),
York, UK, Mars 2009. [ bib | en savoir plus | .pdf ] |
[8] |
Louis Mandel et Florence
Plateau.
Abstraction d'horloges dans les systèmes synchrones flot de
données.
In Vingtièmes Journées Francophones des Langages
Applicatifs (JFLA 09), Saint-Quentin sur Isère, France, Février 2009. [ bib | en savoir plus | .pdf ] |
[9] |
Albert Cohen, Louis
Mandel, Florence
Plateau et Marc
Pouzet.
Abstraction of Clocks in Synchronous Data-flow Systems.
In The Sixth ASIAN Symposium on Programming Languages and
Systems (APLAS 08), Bangalore, India, Décembre 2008. [ bib | en savoir plus | .pdf ] |
[10] |
Louis Mandel et Florence
Plateau.
Interactive Programming of Reactive Systems.
In Proceedings of Model-driven High-level Programming of
Embedded Systems (SLA++P 08), Budapest, Hungary, Avril 2008. [ bib | en savoir plus | .pdf ] |
[11] |
Albert Cohen, Marc
Duranton, Christine
Eisenbeis, Claire
Pagetti, Florence
Plateau et Marc
Pouzet.
N-Synchronous Kahn Networks: a Relaxed Model of Synchrony for
Real-Time Systems.
In ACM International Conference on Principles of
Programming Languages (POPL 06), Charleston, South Carolina, USA, Janvier
2006. [ bib | .pdf ] |
[12] |
Albert Cohen, Marc
Duranton, Christine
Eisenbeis, Claire
Pagetti, Florence
Plateau et Marc
Pouzet.
Synchronizing Periodic Clocks.
In ACM International Conference on Embedded Software
(EMSOFT 05), Jersey city, New Jersey, USA, Septembre 2005. [ bib | .pdf.gz ] |
[13] |
A. Cohen,
M. Duranton,
C. Eisenbeis,
C. Pagetti,
F. Plateau et
M. Pouzet.
Synchronizing Periodic Clocks in Kahn Networks.
Rapport technique 5603, INRIA, Juin 2005. [ bib | http ] |
J’ai enseigné pendant un an à l’université d’Orsay et pendant quatre ans à l’ IUT d’Orsay, j’y ai encadré des TP de Système-Réseau, ainsi que des TD/TP d’algorithmique, de Programmation d’Interfaces Graphiques et des groupes de projets tutorés. J’ai aussi organisé une activité avec Yannick Moy pour la fête de la science.
Lucy-n
Lucid Synchrone
ReactiveML
Mail : pro ( at ) florenceplateau ( dot ) fr
This document was translated from LATEX with HEV EA , from BibTEX with bibtex2html, and then formatted with yamlpp