[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 ] |