Search dblp for Publications

export results for "toc:db/conf/fmgals/fmgals2007.bht:"

 download as .bib file

@proceedings{DBLP:conf/fmgals/2007,
  editor       = {Alain Girault and
                  Robert de Simone},
  title        = {Proceedings of the Third International Workshop on Formal Methods
                  for Globally Asynchronous Locally Synchronous Design, FMGALS@MEMOCODE
                  2007, Nice, France, May 29, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {200},
  number       = {1},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/200/issue/1},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmgals/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BoucaronM08,
  author       = {Julien Boucaron and
                  Jean{-}Vivien Millo},
  editor       = {Alain Girault and
                  Robert de Simone},
  title        = {Compositionality of Statically Scheduled {IP}},
  booktitle    = {Proceedings of the Third International Workshop on Formal Methods
                  for Globally Asynchronous Locally Synchronous Design, FMGALS@MEMOCODE
                  2007, Nice, France, May 29, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {200},
  number       = {1},
  pages        = {71--87},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.02.007},
  doi          = {10.1016/J.ENTCS.2008.02.007},
  timestamp    = {Mon, 13 Feb 2023 09:40:48 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BoucaronM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GebhardtS08,
  author       = {Daniel Gebhardt and
                  Kenneth S. Stevens},
  editor       = {Alain Girault and
                  Robert de Simone},
  title        = {Elastic Flow in an Application Specific Network-on-Chip},
  booktitle    = {Proceedings of the Third International Workshop on Formal Methods
                  for Globally Asynchronous Locally Synchronous Design, FMGALS@MEMOCODE
                  2007, Nice, France, May 29, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {200},
  number       = {1},
  pages        = {3--15},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.02.003},
  doi          = {10.1016/J.ENTCS.2008.02.003},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GebhardtS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GiraultS08,
  author       = {Alain Girault and
                  Robert de Simone},
  editor       = {Alain Girault and
                  Robert de Simone},
  title        = {Preface},
  booktitle    = {Proceedings of the Third International Workshop on Formal Methods
                  for Globally Asynchronous Locally Synchronous Design, FMGALS@MEMOCODE
                  2007, Nice, France, May 29, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {200},
  number       = {1},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.02.002},
  doi          = {10.1016/J.ENTCS.2008.02.002},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GiraultS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/OuyTBG08,
  author       = {Julien Ouy and
                  Jean{-}Pierre Talpin and
                  Lo{\"{\i}}c Besnard and
                  Paul {Le Guernic}},
  editor       = {Alain Girault and
                  Robert de Simone},
  title        = {Separate Compilation of Polychronous Specifications},
  booktitle    = {Proceedings of the Third International Workshop on Formal Methods
                  for Globally Asynchronous Locally Synchronous Design, FMGALS@MEMOCODE
                  2007, Nice, France, May 29, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {200},
  number       = {1},
  pages        = {51--70},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.02.006},
  doi          = {10.1016/J.ENTCS.2008.02.006},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/OuyTBG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SuhaibMS08,
  author       = {Syed Suhaib and
                  Deepak Mathaikutty and
                  Sandeep K. Shukla},
  editor       = {Alain Girault and
                  Robert de Simone},
  title        = {Dataflow Architectures for {GALS}},
  booktitle    = {Proceedings of the Third International Workshop on Formal Methods
                  for Globally Asynchronous Locally Synchronous Design, FMGALS@MEMOCODE
                  2007, Nice, France, May 29, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {200},
  number       = {1},
  pages        = {33--50},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.02.005},
  doi          = {10.1016/J.ENTCS.2008.02.005},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SuhaibMS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/YouXHS08,
  author       = {JunBok You and
                  Yang Xu and
                  Hosuk Han and
                  Kenneth S. Stevens},
  editor       = {Alain Girault and
                  Robert de Simone},
  title        = {Performance Evaluation of Elastic {GALS} Interfaces and Network Fabric},
  booktitle    = {Proceedings of the Third International Workshop on Formal Methods
                  for Globally Asynchronous Locally Synchronous Design, FMGALS@MEMOCODE
                  2007, Nice, France, May 29, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {200},
  number       = {1},
  pages        = {17--32},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.02.004},
  doi          = {10.1016/J.ENTCS.2008.02.004},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/YouXHS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.