Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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 
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.
retrieved on 2024-06-15 22:20 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
