Search dblp for Publications

export results for "stream:streams/conf/fmgals:"

 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}
}
@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}
}
@proceedings{DBLP:conf/fmgals/2005,
  editor       = {Montek Singh and
                  Jean{-}Pierre Talpin},
  title        = {Proceedings of the Second Workshop on Globally Asynchronous, Locally
                  Synchronous Design, FMGALS@MEMOCODE 2005, Verona, Italy, July 15,
                  2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {146},
  number       = {2},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/146/issue/2},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmgals/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AgiwalS06,
  author       = {Ankur Agiwal and
                  Montek Singh},
  editor       = {Montek Singh and
                  Jean{-}Pierre Talpin},
  title        = {Multi-Clock Latency-Insensitive Architecture and Wrapper Synthesis},
  booktitle    = {Proceedings of the Second Workshop on Globally Asynchronous, Locally
                  Synchronous Design, FMGALS@MEMOCODE 2005, Verona, Italy, July 15,
                  2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {146},
  number       = {2},
  pages        = {5--28},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.05.033},
  doi          = {10.1016/J.ENTCS.2005.05.033},
  timestamp    = {Fri, 16 Dec 2022 11:32:05 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AgiwalS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bormann06,
  author       = {David S. Bormann},
  editor       = {Montek Singh and
                  Jean{-}Pierre Talpin},
  title        = {{GALS} Test Chip on 130nm Process},
  booktitle    = {Proceedings of the Second Workshop on Globally Asynchronous, Locally
                  Synchronous Design, FMGALS@MEMOCODE 2005, Verona, Italy, July 15,
                  2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {146},
  number       = {2},
  pages        = {29--40},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.05.034},
  doi          = {10.1016/J.ENTCS.2005.05.034},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Bormann06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BoucaronMS06,
  author       = {Julien Boucaron and
                  Jean{-}Vivien Millo and
                  Robert de Simone},
  editor       = {Montek Singh and
                  Jean{-}Pierre Talpin},
  title        = {Another Glance at Relay Stations in Latency-Insensitive Design},
  booktitle    = {Proceedings of the Second Workshop on Globally Asynchronous, Locally
                  Synchronous Design, FMGALS@MEMOCODE 2005, Verona, Italy, July 15,
                  2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {146},
  number       = {2},
  pages        = {41--59},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.05.035},
  doi          = {10.1016/J.ENTCS.2005.05.035},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BoucaronMS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Carloni06,
  author       = {Luca P. Carloni},
  editor       = {Montek Singh and
                  Jean{-}Pierre Talpin},
  title        = {The Role of Back-Pressure in Implementing Latency-Insensitive Systems},
  booktitle    = {Proceedings of the Second Workshop on Globally Asynchronous, Locally
                  Synchronous Design, FMGALS@MEMOCODE 2005, Verona, Italy, July 15,
                  2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {146},
  number       = {2},
  pages        = {61--80},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.05.036},
  doi          = {10.1016/J.ENTCS.2005.05.036},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Carloni06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DasguptaPCY06,
  author       = {Sohini Dasgupta and
                  Dumitru Potop{-}Butucaru and
                  Beno{\^{\i}}t Caillaud and
                  Alexandre Yakovlev},
  editor       = {Montek Singh and
                  Jean{-}Pierre Talpin},
  title        = {Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits},
  booktitle    = {Proceedings of the Second Workshop on Globally Asynchronous, Locally
                  Synchronous Design, FMGALS@MEMOCODE 2005, Verona, Italy, July 15,
                  2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {146},
  number       = {2},
  pages        = {81--103},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.05.037},
  doi          = {10.1016/J.ENTCS.2005.05.037},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DasguptaPCY06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DoucetMKGT06,
  author       = {Frederic Doucet and
                  Massimiliano Menarini and
                  Ingolf H. Kr{\"{u}}ger and
                  Rajesh K. Gupta and
                  Jean{-}Pierre Talpin},
  editor       = {Montek Singh and
                  Jean{-}Pierre Talpin},
  title        = {A Verification Approach for {GALS} Integration of Synchronous Components},
  booktitle    = {Proceedings of the Second Workshop on Globally Asynchronous, Locally
                  Synchronous Design, FMGALS@MEMOCODE 2005, Verona, Italy, July 15,
                  2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {146},
  number       = {2},
  pages        = {105--131},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.05.038},
  doi          = {10.1016/J.ENTCS.2005.05.038},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DoucetMKGT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GurkaynakOKFF06,
  author       = {Frank K. G{\"{u}}rkaynak and
                  Stephan Oetiker and
                  Hubert Kaeslin and
                  Norbert Felber and
                  Wolfgang Fichtner},
  editor       = {Montek Singh and
                  Jean{-}Pierre Talpin},
  title        = {Design Challenges for a Differential-Power-Analysis Aware GALS-based
                  {AES} Crypto {ASIC}},
  booktitle    = {Proceedings of the Second Workshop on Globally Asynchronous, Locally
                  Synchronous Design, FMGALS@MEMOCODE 2005, Verona, Italy, July 15,
                  2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {146},
  number       = {2},
  pages        = {133--149},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.05.039},
  doi          = {10.1016/J.ENTCS.2005.05.039},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GurkaynakOKFF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ouy06,
  author       = {Julien Ouy},
  editor       = {Montek Singh and
                  Jean{-}Pierre Talpin},
  title        = {A Survey of Desynchronization in a Polychronous Model of Computation},
  booktitle    = {Proceedings of the Second Workshop on Globally Asynchronous, Locally
                  Synchronous Design, FMGALS@MEMOCODE 2005, Verona, Italy, July 15,
                  2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {146},
  number       = {2},
  pages        = {151--167},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.05.040},
  doi          = {10.1016/J.ENTCS.2005.05.040},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Ouy06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/StevensSST06,
  author       = {Ken S. Stevens and
                  Sandeep K. Shukla and
                  Montek Singh and
                  Jean{-}Pierre Talpin},
  editor       = {Montek Singh and
                  Jean{-}Pierre Talpin},
  title        = {Preface},
  booktitle    = {Proceedings of the Second Workshop on Globally Asynchronous, Locally
                  Synchronous Design, FMGALS@MEMOCODE 2005, Verona, Italy, July 15,
                  2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {146},
  number       = {2},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.05.032},
  doi          = {10.1016/J.ENTCS.2005.05.032},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/StevensSST06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SuhaibMSBT06,
  author       = {Syed Suhaib and
                  Deepak Mathaikutty and
                  Sandeep K. Shukla and
                  David Berner and
                  Jean{-}Pierre Talpin},
  editor       = {Montek Singh and
                  Jean{-}Pierre Talpin},
  title        = {A Functional Programming Framework for Latency Insensitive Protocol
                  Validation},
  booktitle    = {Proceedings of the Second Workshop on Globally Asynchronous, Locally
                  Synchronous Design, FMGALS@MEMOCODE 2005, Verona, Italy, July 15,
                  2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {146},
  number       = {2},
  pages        = {169--188},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.05.041},
  doi          = {10.1016/J.ENTCS.2005.05.041},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SuhaibMSBT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WangKTZ06,
  author       = {Xu Wang and
                  Marta Z. Kwiatkowska and
                  Georgios Theodoropoulos and
                  Qianyi Zhang},
  editor       = {Montek Singh and
                  Jean{-}Pierre Talpin},
  title        = {Opportunities and Challenges in Process-algebraic Verification of
                  Asynchronous Circuit Designs},
  booktitle    = {Proceedings of the Second Workshop on Globally Asynchronous, Locally
                  Synchronous Design, FMGALS@MEMOCODE 2005, Verona, Italy, July 15,
                  2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {146},
  number       = {2},
  pages        = {189--206},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.05.042},
  doi          = {10.1016/J.ENTCS.2005.05.042},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/WangKTZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics