default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th FMGALS@DATE 2009: Nice, France
- Sandeep K. Shukla, Jean-Pierre Talpin:
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. Electronic Notes in Theoretical Computer Science 245, Elsevier 2009 - Sandeep K. Shukla
, Jean-Pierre Talpin:
Preface. 1-2 - Bin Xue, Sandeep K. Shukla:
Modeling and Analyzing the Implementation of Latency-Insensitive Protocols Using the Polychrony Framework. 3-22 - Julien Boucaron, Anthony Coadou, Robert de Simone:
Latency-Insensitive Design: Retry Relay-Station and Fusion Shell. 23-33 - Mario R. Casu, Luca Macchiarulo:
Adaptive Latency Insensitive Protocols and Elastic Circuits with Early Evaluation: A Comparative Analysis. 35-50 - Sohini Dasgupta, Alexandre Yakovlev:
Desynchronisation Technique Using Petri Nets. 51-67 - Bijoy Antony Jose, Bin Xue, Sandeep K. Shukla:
An Analysis of the Composition of Synchronous Systems. 69-84 - David Kinniment:
Synchronization and Arbitration in GALS. 85-101 - Milos Krstic, Xin Fan, Eckhard Grass, Frank K. Gürkaynak:
GALS for Bursty Data Transfer based on Clock Coupling. 103-113 - Kenneth S. Stevens, Daniel Gebhardt, JunBok You, Yang Xu, Vikas S. Vij, Shomit Das, Krishnaji Desai:
The Future of Formal Methods and GALS Design. 115-134
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.
last updated on 2025-01-10 18:38 CET 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:
