@phdthesis{Guatto-These-2016, author = {Adrien Guatto}, title = {A Synchronous Functional Language with Integer Clocks}, school = {PSL Research University}, year = {2016}, url = {Guatto-These-2016.pdf} }
@inproceedings{GuattoMandel-JFLA-2014, author = {Adrien Guatto and Louis Mandel}, title = {R{\'e}seaux de {Kahn} {\`a} rafales et horloges enti{\`e}res}, booktitle = {Vingt-cinqui{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs ({JFLA'14})}, year = 2014, month = jan, address = {Fr{\'e}jus, France}, url = {GuattoMandel-JFLA-2014.pdf} }
@inproceedings{MandelPlateau-MPC-2012, author = {Louis Mandel and Florence Plateau}, title = {Scheduling and Buffer Sizing of n-Synchronous Systems: Typing of Ultimately Periodic Clocks in {Lucy-n}}, booktitle = {Eleventh International Conference on Mathematics of Program Construction ({MPC'12})}, year = 2012, month = jun, address = {Madrid, Spain}, url = {MandelPlateau-MPC-2012.pdf}, webpage = {http://www.lri.fr/~mandel/lucy-n/mpc12/} }
@inproceedings{MandelPlateauPouzet-FMCAD-2011, author = {Louis Mandel and Florence Plateau and Marc Pouzet}, title = {Static Scheduling of Latency Insensitive Designs with {Lucy-n}}, booktitle = {Formal Methods in Computer Aided Design ({FMCAD 2011})}, year = 2011, month = oct, address = {Austin, TX, USA}, url = {MandelPlateauPouzet-FMCAD-2011.pdf}, webpage = {http://www.lri.fr/~mandel/lucy-n/fmcad11/} }
@inproceedings{MandelPlateau-JFLA-2011, author = {Louis Mandel and Florence Plateau}, title = {Typage des horloges p{\'e}riodiques en {Lucy-n}}, booktitle = {Vingt deuxi{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs ({JFLA 2011})}, year = 2011, month = jan, address = {La Bresse, France}, url = {MandelPlateau-JFLA-2011.pdf}, webpage = {http://www.lri.fr/~mandel/lucy-n/jfla11/} }
@inproceedings{MandelPlateauPouzet-MPC-2010, author = {Louis Mandel and Florence Plateau and Marc Pouzet}, title = {{Lucy-n}: a n-Synchronous Extension of {Lustre}}, booktitle = {Tenth International Conference on Mathematics of Program Construction ({MPC 2010})}, year = 2010, month = jun, address = {Qu{\'e}bec, Canada}, url = {MandelPlateauPouzet-MPC-2010.pdf}, webpage = {http://www.lri.fr/~mandel/lucy-n/mpc10/} }
@inproceedings{MandelPlateauPouzet-DCC-2010, author = {Louis Mandel and Florence Plateau and Marc Pouzet}, title = {Clock Typing of n-Synchronous Programs}, booktitle = {Designing Correct Circuits ({DCC 2010})}, year = 2010, month = mar, address = {Paphos, Cyprus}, url = {MandelPlateauPouzet-DCC-2010.pdf} }
@inproceedings{MandelPlateauPouzet-GDR-LTP-2010, title = {{Lucy-n~:} une extension n-synchrone de {Lustre}}, author = {Louis Mandel and Florence Plateau and Marc Pouzet}, booktitle = {Deuxi{\`e}mes Journ{\'e}es nationales du GDR G{\'e}nie de la Programmation et du Logiciel}, month = mar, year = 2010, address = {Pau, France}, url = {MandelPlateauPouzet-GDR-LTP-2010.pdf}, note = {Article invit{\'e}} }
@inproceedings{MandelPlateau-JFLA-2010, author = {Louis Mandel and Florence Plateau and Marc Pouzet}, title = {{Lucy-n} : une extension n-synchrone de {Lustre}}, booktitle = {Vingt et uni{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs ({JFLA 2010})}, year = 2010, month = jan, address = {Vieux-Port La Ciotat, France}, url = {MandelPlateau-JFLA-2010.pdf}, webpage = {http://www.lri.fr/~mandel/lucy-n/jfla10/} }
@inproceedings{CohenMandelPlateauPouzet-HFL-2009, author = {Albert Cohen and Louis Mandel and Florence Plateau and Marc Pouzet}, title = {Relaxing Synchronous Composition with Clock Abstraction}, booktitle = {Hardware Design using Functional Languages ({HFL 2009})}, year = 2009, month = mar, address = {York, UK}, pages = {35-52}, url = {CohenMandelPlateauPouzet-HFL-2009.pdf}, webpage = {http://www.lri.fr/~mandel/lucy-n/hfl09/} }
@inproceedings{MandelPlateau-JFLA-2009, author = {Louis Mandel and Florence Plateau}, title = {Abstraction d'horloges dans les syst{\`e}mes synchrones flot de donn{\'e}es}, booktitle = {Vingti{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs ({JFLA 2009})}, year = 2009, month = jan, address = {Saint-Quentin sur Is{\`e}re, France}, publisher = {INRIA}, url = {MandelPlateau-JFLA-2009.pdf}, webpage = {http://www.lri.fr/~mandel/lucy-n/jfla09/} }
@phdthesis{Plateau-These-2010, author = {Florence Plateau}, month = jan, school = {Universit{\'e} Paris-Sud 11}, title = {Mod{\`e}le n-synchrone pour la programmation de r{\'e}seaux de Kahn {\`a} m{\'e}moire born{\'e}e}, year = {2010}, url = {Plateau-These-2010.pdf}, webpage = {http://www.lri.fr/~plateau/these} }
@inproceedings{CohenMandelPlateauPouzet-APLAS-2008, author = {Albert Cohen and Louis Mandel and Florence Plateau and Marc Pouzet}, title = {{Abstraction of Clocks in Synchronous Data-flow Systems}}, booktitle = {The Sixth ASIAN Symposium on Programming Languages and Systems ({APLAS 2008})}, year = 2008, month = dec, date = {9--11}, address = {Bangalore, India}, url = {CohenMandelPlateauPouzet-APLAS-2008.pdf}, webpage = {http://www.lri.fr/~mandel/lucy-n/aplas08/} }
@inproceedings{CohenDurantonEisenbeisPagettiPlateau-POPL-2006, author = {Albert Cohen and Marc Duranton and Christine Eisenbeis and Claire Pagetti and Florence Plateau and Marc Pouzet}, title = {{N}-Synchronous Kahn Networks: a Relaxed Model of Synchrony for Real-Time Systems}, booktitle = {ACM International Conference on Principles of Programming Languages (POPL'06)}, address = {Charleston, South Carolina, USA}, month = jan, year = 2006, url = {CohenDurantonEisenbeisPagettiPlateau-POPL-2006.pdf} }
@inproceedings{CohenDurantonEisenbeisPagettiPlateau-EMSOFT-2005, author = {Albert Cohen and Marc Duranton and Christine Eisenbeis and Claire Pagetti and Florence Plateau and Marc Pouzet}, title = {Synchronizing Periodic Clocks}, booktitle = {ACM International Conference on Embedded Software (EMSOFT'05)}, address = {Jersey city, New Jersey, USA}, month = sep, year = 2005, url = {CohenDurantonEisenbeisPagettiPlateau-EMSOFT-2005.pdf} }
This file was generated by bibtex2html 1.98.