Lucy-n
Publications
-
Scheduling and Buffer Sizing of n-Synchronous Systems:
Typing of ultimately periodic clocks in Lucy-n.
Louis Mandel and Florence Plateau
Mathematics of Program Construction, MPC 2012
[ bib |
.pdf |
more details ]
-
Static Scheduling of Latency Insensitive Designs with Lucy-n.
Louis Mandel, Florence Plateau and Marc Pouzet
Formal Methods in Computer Aided Design, FMCAD 2011
[ bib |
.pdf |
more details ]
-
Typage des horloges périodiques en Lucy-n.
Louis Mandel and Florence Plateau
Journée Francophones des Langages Applicatifs, JFLA 2011
[ bib |
.pdf |
more details ]
-
Lucy-n: a n-Synchronous Extension of Lustre.
Louis Mandel, Florence Plateau and Marc Pouzet
Mathematics of Program Construction, MPC 2010
[ bib |
.pdf |
more details ]
-
Clock Typing of n-Synchronous Programs.
Louis Mandel, Florence Plateau and Marc Pouzet
Designing Correct Circuits, DCC 2010
[ bib |
.pdf ]
-
Lucy-n : une extension n-synchrone de Lustre.
Louis Mandel, Florence Plateau and Marc Pouzet
Journée Francophones des Langages Applicatifs, JFLA 2010
[ bib |
.pdf |
more details ]
-
Modèle n-synchrone pour la programmation de réseaux de Kahn à mémoire bornée.
Florence Plateau
Thèse de doctorat de l'Université Paris-Sud 11, janvier 2010
[ bib |
.pdf |
more details ]
-
Relaxing Synchronous Composition with Clock Abstraction.
Albert Cohen, Louis Mandel, Florence Plateau and Marc Pouzet
Hardware Design using Functional Languages, HFL 2009
[ bib |
.pdf |
more details ]
-
Abstraction d'horloges dans les systèmes synchrones flot de données.
Louis Mandel and Florence Plateau
Journée Francophones des Langages Applicatifs, JFLA 2009
[ bib |
.pdf |
more details ]
-
Abstraction of Clocks in Synchronous Data-flow Systems.
Albert Cohen, Louis Mandel, Florence Plateau and Marc Pouzet
ASIAN Symposium on Programming Languages and Systems, APLAS 2008
[ bib |
.pdf |
more details ]
-
N-Synchronous Kahn Networks: a Relaxed Model of Synchrony for Real-Time Systems.
Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau and Marc Pouzet
ACM International Conference on Principles of Programming Languages, POPL 2006
[ bib |
.pdf ]
-
Synchronizing Periodic Clocks.
Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau and Marc Pouzet
ACM International Conference on Embedded Software, EMSOFT 2005
[ bib |
.pdf ]
People
Louis Mandel - Laboratoire de Recherche en Informatique
Florence Plateau - Laboratoire de Recherche en Informatique
Marc Pouzet - Laboratoire de Recherche en Informatique
Getting Lucy-n