general.bib
@INPROCEEDINGS{delaval08b,
AUTHOR = {G. Delaval and A. Girault and M. Pouzet},
TITLE = {A Type System for the Automatic Distribution of
Higher-order Synchronous Dataflow Programs},
KEY = {my-dist},
BOOKTITLE = {International Conference on Languages, Compilers,
and Tools for Embedded Systems, LCTES'08},
PAGES = {101--110},
YEAR = 2008,
ADDRESS = {Tucson (AZ), USA},
MONTH = JUN,
PUBLISHER = {ACM, New York},
PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Lctes08/main.pdf},
PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Lctes08/main.ps}
}
@INPROCEEDINGS{dist-abstract,
AUTHOR = {P. Caspi and A. Girault},
TITLE = {Distributing Finite Transition Systems},
KEY = {my-dist},
BOOKTITLE = {4th \PARLE},
EDITOR = {D. Etiemble and J.-C. Syre},
VOLUME = 605,
SERIES = {LNCS},
YEAR = 1992,
PUBLISHER = {Springer-Verlag},
ADDRESS = {Paris, France},
MONTH = JUN,
PAGES = {951--952},
NOTE = {Extended abstract},
BIB2HTML_PUBTYPE = {Refereed conference},
BIB2HTML_RESCAT = {Automatic distribution}
}
@INPROCEEDINGS{dist-afcet,
AUTHOR = {B. Caillaud and P. Caspi and A. Girault and C. Jard},
TITLE = {Un Mod\`{e}le pour la R\'{e}partition d'Automates
R\'{e}actifs sur R\'{e}seau Asynchrone de
Processeurs},
KEY = {my-dist},
BOOKTITLE = {Mod\'{e}lisation des Syst\`{e}mes R\'{e}actifs,
MSR'96},
YEAR = 1996,
ORGANIZATION = {AFCET},
ADDRESS = {Brest, France},
MONTH = MAR,
URL = {http://pop-art.inrialpes.fr/~girault/Publications/Msr96},
PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Msr96/main.pdf},
PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Msr96/main.ps},
BIB2HTML_PUBTYPE = {Refereed conference},
BIB2HTML_RESCAT = {Automatic distribution}
}
@INPROCEEDINGS{dist-emsoft,
AUTHOR = {A. Girault and X. Nicollin},
TITLE = {Clock-Driven Automatic Distribution of {Lustre}
Programs},
KEY = {my-dist},
BOOKTITLE = {International Conference on Embedded Software,
EMSOFT'03},
PAGES = {206--222},
YEAR = 2003,
EDITOR = {R. Alur and I. Lee},
VOLUME = 2855,
SERIES = {LNCS},
ADDRESS = {Philadelphia (PA), USA},
MONTH = OCT,
PUBLISHER = {Springer-Verlag},
ANNOTE = {\cite{caspi03} achieves the same goal for
TTA~\cite{tta-ieee}.},
URL = {http://pop-art.inrialpes.fr/~girault/Publications/Emsoft03},
PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Emsoft03/main.pdf},
PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Emsoft03/main.ps},
BIB2HTML_PUBTYPE = {Refereed conference},
BIB2HTML_RESCAT = {Automatic distribution}
}
@MISC{dist-ercim,
KEY = {my-dist},
AUTHOR = {A. Girault},
TITLE = {Automatic Distribution of Synchronous Programs},
HOWPUBLISHED = {ERCIM News, 52:26--27},
MONTH = JAN,
YEAR = {2003},
URL = {http://www.ercim.org/publication/Ercim_News/enw52},
URL = {http://pop-art.inrialpes.fr/~girault/Publications/ErcimNews03},
PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/ErcimNews03/main.pdf},
PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/ErcimNews03/main.ps}
}
@ARTICLE{dist-ieee,
AUTHOR = {P. Caspi and A. Girault and D. Pilaud},
TITLE = {Automatic Distribution of Reactive Systems for
Asynchronous Networks of Processors},
KEY = {my-dist},
JOURNAL = {IEEE Trans.\ Software Engin.},
YEAR = 1999,
VOLUME = 25,
NUMBER = 3,
MONTH = MAY,
PAGES = {416--427},
URL = {http://pop-art.inrialpes.fr/~girault/Publications/Tse99},
PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Tse99/main.pdf},
PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Tse99/main.ps},
BIB2HTML_PUBTYPE = {Journal},
BIB2HTML_RESCAT = {Automatic distribution}
}
@ARTICLE{dist-jesa,
AUTHOR = {B. Caillaud and P. Caspi and A. Girault and C. Jard},
TITLE = {Distributing Automata for Asynchronous Networks of
Processors},
KEY = {my-dist},
JOURNAL = {\JESA},
YEAR = 1997,
VOLUME = 31,
NUMBER = 3,
PAGES = {503--524},
NOTE = {Research report Inria 2341},
URL = {http://pop-art.inrialpes.fr/~girault/Publications/Jesa97},
PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Jesa97/main.pdf},
PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Jesa97/main.ps},
BIB2HTML_PUBTYPE = {Journal},
BIB2HTML_RESCAT = {Automatic distribution}
}
@INPROCEEDINGS{dist-pdcs,
AUTHOR = {P. Caspi and A. Girault and D. Pilaud},
TITLE = {Distributing Reactive Systems},
KEY = {my-dist},
BOOKTITLE = {7th International Conference on Parallel and
Distributed Computing Systems, PDCS'94},
YEAR = 1994,
PUBLISHER = {ISCA},
ADDRESS = {Las Vegas (NV), USA},
MONTH = OCT,
URL = {http://pop-art.inrialpes.fr/~girault/Publications/Pdcs94},
PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Pdcs94/main.pdf},
PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Pdcs94/main.ps},
BIB2HTML_PUBTYPE = {Refereed conference},
BIB2HTML_RESCAT = {Automatic distribution}
}
@INPROCEEDINGS{dist-sync-survey,
AUTHOR = {A. Girault},
TITLE = {A Survey of Automatic Distribution Method for
Synchronous Programs},
KEY = {my-dist},
BOOKTITLE = {International Workshop on Synchronous Languages,
Applications and Programs, SLAP'05},
YEAR = 2005,
EDITOR = {F. Maraninchi and M. Pouzet and V. Roy},
SERIES = {ENTCS},
ADDRESS = {Edinburgh, UK},
MONTH = APR,
PUBLISHER = {Elsevier Science, New-York},
OPTURL = {http://pop-art.inrialpes.fr/~girault/Publications/Slap05},
PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Slap05/main.pdf},
PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Slap05/main.ps},
BIB2HTML_PUBTYPE = {Proceedings},
BIB2HTML_RESCAT = {Synchronous programming}
}
@ARTICLE{dist-tecs,
AUTHOR = {A. Girault and X. Nicollin and M. Pouzet},
TITLE = {Automatic Rate Desynchronization of Embedded
Reactive Programs},
JOURNAL = {ACM Trans.\ Embedd.\ Comput.\ Syst.},
YEAR = 2006,
KEY = {my-dist},
VOLUME = 5,
NUMBER = 3,
PAGES = {687--717},
MONTH = AUG,
PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Tecs06/main.pdf},
PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Tecs06/main.ps},
BIB2HTML_PUBTYPE = {Journal},
BIB2HTML_RESCAT = {Automatic distribution}
}
@INPROCEEDINGS{interf-europar,
AUTHOR = {P. Caspi and A. Girault},
TITLE = {Execution of Distributed Reactive Systems},
KEY = {my-dist},
BOOKTITLE = {1st International Conference on Parallel Processing,
EURO-PAR'95},
EDITOR = {S. Haridi and K. Ali and P. Magnusson},
VOLUME = 966,
SERIES = {LNCS},
YEAR = 1995,
PUBLISHER = {Springer-Verlag},
ADDRESS = {Stockholm, Sweden},
MONTH = AUG,
PAGES = {15--26},
URL = {http://pop-art.inrialpes.fr/~girault/Publications/Europar95},
PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Europar95/main.pdf},
PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Europar95/main.ps},
BIB2HTML_PUBTYPE = {Refereed conference},
BIB2HTML_RESCAT = {Automatic distribution}
}
@MANUAL{ocrep-manual,
TITLE = {{OCREP}: An Automatic Parallelization Tool for
Synchronous Language},
AUTHOR = {P. Caspi and A. Girault},
KEY = {my-dist},
ORGANIZATION = {Inria},
NOTE = {User Manual.
\url{http://pop-art.inrialpes.fr/~girault/Ocrep}},
URL = {http://pop-art.inrialpes.fr/~girault/Ocrep},
BIB2HTML_PUBTYPE = {Other},
BIB2HTML_RESCAT = {Automatic distribution}
}
@INPROCEEDINGS{screp-emsoft,
AUTHOR = {A. Girault and C. M{\'e}nier},
TITLE = {Automatic Production of Globally Asynchronous
Locally Synchronous Systems},
KEY = {my-dist},
BOOKTITLE = {International Workshop on Embedded Software,
EMSOFT'02},
PAGES = {266--281},
YEAR = 2002,
EDITOR = {A. Sangiovanni-Vincentelli and J. Sifakis},
VOLUME = 2491,
SERIES = {LNCS},
ADDRESS = {Grenoble, France},
MONTH = OCT,
PUBLISHER = {Springer-Verlag},
URL = {http://pop-art.inrialpes.fr/~girault/Publications/Emsoft02},
PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Emsoft02/main.pdf},
PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Emsoft02/main.ps},
BIB2HTML_PUBTYPE = {Refereed conference},
BIB2HTML_RESCAT = {Automatic distribution}
}
@MANUAL{screp-manual,
TITLE = {{SCREP}: A Tool to Produce Automatically GALS
Systems from Synchronous Circuits},
AUTHOR = {A. Girault and C. M\'{e}nier},
KEY = {my-dist},
ORGANIZATION = {Inria},
NOTE = {User Manual.
\url{http://pop-art.inrialpes.fr/~girault/Screp}},
URL = {http://pop-art.inrialpes.fr/~girault/Screp},
BIB2HTML_PUBTYPE = {Other},
BIB2HTML_RESCAT = {Automatic distribution}
}
This file has been generated by
bibtex2html 1.69