[1] |
Adrien Guatto.
A Synchronous Functional Language with Integer Clocks.
PhD thesis, PSL Research University, 2016. [ bib | .pdf ] |
[2] |
Adrien Guatto and Louis Mandel.
Réseaux de Kahn à rafales et horloges entières.
In Vingt-cinquièmes Journées Francophones des Langages
Applicatifs (JFLA'14), Fréjus, France, January 2014. [ bib | .pdf ] |
[3] |
Louis Mandel and Florence Plateau.
Scheduling and buffer sizing of n-synchronous systems: Typing of
ultimately periodic clocks in Lucy-n.
In Eleventh International Conference on Mathematics of Program
Construction (MPC'12), Madrid, Spain, June 2012. [ bib | more details | .pdf ] |
[4] |
Louis Mandel, Florence Plateau, and Marc Pouzet.
Static scheduling of latency insensitive designs with Lucy-n.
In Formal Methods in Computer Aided Design (FMCAD 2011),
Austin, TX, USA, October 2011. [ bib | more details | .pdf ] |
[5] |
Louis Mandel and Florence Plateau.
Typage des horloges périodiques en Lucy-n.
In Vingt deuxièmes Journées Francophones des Langages
Applicatifs (JFLA 2011), La Bresse, France, January 2011. [ bib | more details | .pdf ] |
[6] |
Louis Mandel, Florence Plateau, and Marc Pouzet.
Lucy-n: a n-synchronous extension of Lustre.
In Tenth International Conference on Mathematics of Program
Construction (MPC 2010), Québec, Canada, June 2010. [ bib | more details | .pdf ] |
[7] |
Louis Mandel, Florence Plateau, and Marc Pouzet.
Clock typing of n-synchronous programs.
In Designing Correct Circuits (DCC 2010), Paphos, Cyprus,
March 2010. [ bib | .pdf ] |
[8] |
Louis Mandel, Florence Plateau, and 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, March 2010.
Article invité. [ bib | .pdf ] |
[9] |
Louis Mandel, Florence Plateau, and Marc Pouzet.
Lucy-n : une extension n-synchrone de Lustre.
In Vingt et unièmes Journées Francophones des Langages
Applicatifs (JFLA 2010), Vieux-Port La Ciotat, France, January 2010. [ bib | more details | .pdf ] |
[10] |
Albert Cohen, Louis Mandel, Florence Plateau, and Marc Pouzet.
Relaxing synchronous composition with clock abstraction.
In Hardware Design using Functional Languages (HFL 2009),
pages 35--52, York, UK, March 2009. [ bib | more details | .pdf ] |
[11] |
Louis Mandel and Florence Plateau.
Abstraction d'horloges dans les systèmes synchrones flot de
données.
In Vingtièmes Journées Francophones des Langages
Applicatifs (JFLA 2009), Saint-Quentin sur Isère, France, January
2009. INRIA. [ bib | more details | .pdf ] |
[12] |
Florence Plateau.
Modèle n-synchrone pour la programmation de réseaux de
Kahn à mémoire bornée.
PhD thesis, Université Paris-Sud 11, January 2010. [ bib | more details | .pdf ] |
[13] |
Albert Cohen, Louis Mandel, Florence Plateau, and Marc Pouzet.
Abstraction of Clocks in Synchronous Data-flow Systems.
In The Sixth ASIAN Symposium on Programming Languages and
Systems (APLAS 2008), Bangalore, India, December 2008. [ bib | more details | .pdf ] |
[14] |
Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence
Plateau, and 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, January 2006. [ bib | .pdf ] |
[15] |
Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence
Plateau, and Marc Pouzet.
Synchronizing periodic clocks.
In ACM International Conference on Embedded Software
(EMSOFT'05), Jersey city, New Jersey, USA, September 2005. [ bib | .pdf ] |
This file was generated by bibtex2html 1.98.