Search dblp for Publications

export results for "toc:db/journals/entcs/entcs245.bht:"

 download as .bib file

@inproceedings{DBLP:journals/entcs/BoucaronCS09,
  author       = {Julien Boucaron and
                  Anthony Coadou and
                  Robert de Simone},
  editor       = {Sandeep K. Shukla and
                  Jean{-}Pierre Talpin},
  title        = {Latency-Insensitive Design: Retry Relay-Station and Fusion Shell},
  booktitle    = {Proceedings of the 4th International Workshop on the Application of
                  Formal Methods for Globally Asynchronous and Locally Synchronous Design,
                  FMGALS@DATE 2009, Nice, France, April 24, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {245},
  pages        = {23--33},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.07.026},
  doi          = {10.1016/J.ENTCS.2009.07.026},
  timestamp    = {Thu, 09 Mar 2023 14:36:56 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BoucaronCS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CasuM09,
  author       = {Mario R. Casu and
                  Luca Macchiarulo},
  editor       = {Sandeep K. Shukla and
                  Jean{-}Pierre Talpin},
  title        = {Adaptive Latency Insensitive Protocols and Elastic Circuits with Early
                  Evaluation: {A} Comparative Analysis},
  booktitle    = {Proceedings of the 4th International Workshop on the Application of
                  Formal Methods for Globally Asynchronous and Locally Synchronous Design,
                  FMGALS@DATE 2009, Nice, France, April 24, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {245},
  pages        = {35--50},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.07.027},
  doi          = {10.1016/J.ENTCS.2009.07.027},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CasuM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DasguptaY09,
  author       = {Sohini Dasgupta and
                  Alexandre Yakovlev},
  editor       = {Sandeep K. Shukla and
                  Jean{-}Pierre Talpin},
  title        = {Desynchronisation Technique Using Petri Nets},
  booktitle    = {Proceedings of the 4th International Workshop on the Application of
                  Formal Methods for Globally Asynchronous and Locally Synchronous Design,
                  FMGALS@DATE 2009, Nice, France, April 24, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {245},
  pages        = {51--67},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.07.028},
  doi          = {10.1016/J.ENTCS.2009.07.028},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DasguptaY09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/JoseXS09,
  author       = {Bijoy Antony Jose and
                  Bin Xue and
                  Sandeep K. Shukla},
  editor       = {Sandeep K. Shukla and
                  Jean{-}Pierre Talpin},
  title        = {An Analysis of the Composition of Synchronous Systems},
  booktitle    = {Proceedings of the 4th International Workshop on the Application of
                  Formal Methods for Globally Asynchronous and Locally Synchronous Design,
                  FMGALS@DATE 2009, Nice, France, April 24, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {245},
  pages        = {69--84},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.07.029},
  doi          = {10.1016/J.ENTCS.2009.07.029},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/JoseXS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Kinniment09,
  author       = {David Kinniment},
  editor       = {Sandeep K. Shukla and
                  Jean{-}Pierre Talpin},
  title        = {Synchronization and Arbitration in {GALS}},
  booktitle    = {Proceedings of the 4th International Workshop on the Application of
                  Formal Methods for Globally Asynchronous and Locally Synchronous Design,
                  FMGALS@DATE 2009, Nice, France, April 24, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {245},
  pages        = {85--101},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.07.030},
  doi          = {10.1016/J.ENTCS.2009.07.030},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Kinniment09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KrsticFGG09,
  author       = {Milos Krstic and
                  Xin Fan and
                  Eckhard Grass and
                  Frank K. G{\"{u}}rkaynak},
  editor       = {Sandeep K. Shukla and
                  Jean{-}Pierre Talpin},
  title        = {{GALS} for Bursty Data Transfer based on Clock Coupling},
  booktitle    = {Proceedings of the 4th International Workshop on the Application of
                  Formal Methods for Globally Asynchronous and Locally Synchronous Design,
                  FMGALS@DATE 2009, Nice, France, April 24, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {245},
  pages        = {103--113},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.07.031},
  doi          = {10.1016/J.ENTCS.2009.07.031},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KrsticFGG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ShuklaT09,
  author       = {Sandeep K. Shukla and
                  Jean{-}Pierre Talpin},
  editor       = {Sandeep K. Shukla and
                  Jean{-}Pierre Talpin},
  title        = {Preface},
  booktitle    = {Proceedings of the 4th International Workshop on the Application of
                  Formal Methods for Globally Asynchronous and Locally Synchronous Design,
                  FMGALS@DATE 2009, Nice, France, April 24, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {245},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.07.024},
  doi          = {10.1016/J.ENTCS.2009.07.024},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ShuklaT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/StevensGYXVDD09,
  author       = {Kenneth S. Stevens and
                  Daniel Gebhardt and
                  JunBok You and
                  Yang Xu and
                  Vikas S. Vij and
                  Shomit Das and
                  Krishnaji Desai},
  editor       = {Sandeep K. Shukla and
                  Jean{-}Pierre Talpin},
  title        = {The Future of Formal Methods and {GALS} Design},
  booktitle    = {Proceedings of the 4th International Workshop on the Application of
                  Formal Methods for Globally Asynchronous and Locally Synchronous Design,
                  FMGALS@DATE 2009, Nice, France, April 24, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {245},
  pages        = {115--134},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.07.032},
  doi          = {10.1016/J.ENTCS.2009.07.032},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/StevensGYXVDD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/XueS09,
  author       = {Bin Xue and
                  Sandeep K. Shukla},
  editor       = {Sandeep K. Shukla and
                  Jean{-}Pierre Talpin},
  title        = {Modeling and Analyzing the Implementation of Latency-Insensitive Protocols
                  Using the Polychrony Framework},
  booktitle    = {Proceedings of the 4th International Workshop on the Application of
                  Formal Methods for Globally Asynchronous and Locally Synchronous Design,
                  FMGALS@DATE 2009, Nice, France, April 24, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {245},
  pages        = {3--22},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.07.025},
  doi          = {10.1016/J.ENTCS.2009.07.025},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/XueS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fmgals/2009,
  editor       = {Sandeep K. Shukla and
                  Jean{-}Pierre Talpin},
  title        = {Proceedings of the 4th International Workshop on the Application of
                  Formal Methods for Globally Asynchronous and Locally Synchronous Design,
                  FMGALS@DATE 2009, Nice, France, April 24, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {245},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/245/suppl/C},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmgals/2009.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.