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