• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 29 matches

• 2009
• 
  Julien Boucaron, Anthony Coadou, Robert de Simone:
  Latency-Insensitive Design: Retry Relay-Station and Fusion Shell. FMGALS@DATE 2009: 23-33
• 
  Mario R. Casu, Luca Macchiarulo:
  Adaptive Latency Insensitive Protocols and Elastic Circuits with Early Evaluation: A Comparative Analysis. FMGALS@DATE 2009: 35-50
• 
  Sohini Dasgupta, Alexandre Yakovlev:
  Desynchronisation Technique Using Petri Nets. FMGALS@DATE 2009: 51-67
• 
  Bijoy Antony Jose, Bin Xue, Sandeep K. Shukla:
  An Analysis of the Composition of Synchronous Systems. FMGALS@DATE 2009: 69-84
• 
  David Kinniment:
  Synchronization and Arbitration in GALS. FMGALS@DATE 2009: 85-101
• 
  Milos Krstic, Xin Fan, Eckhard Grass, Frank K. Gürkaynak:
  GALS for Bursty Data Transfer based on Clock Coupling. FMGALS@DATE 2009: 103-113
• 
  Sandeep K. Shukla, Jean-Pierre Talpin:
  Preface. FMGALS@DATE 2009: 1-2
• 
  Kenneth S. Stevens, Daniel Gebhardt, JunBok You, Yang Xu, Vikas S. Vij, Shomit Das, Krishnaji Desai:
  The Future of Formal Methods and GALS Design. FMGALS@DATE 2009: 115-134
• 
  Bin Xue, Sandeep K. Shukla:
  Modeling and Analyzing the Implementation of Latency-Insensitive Protocols Using the Polychrony Framework. FMGALS@DATE 2009: 3-22
• 
  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 [contents]
• 2008
• 
  Alain Girault, Robert de Simone:
  Proceedings of the Third International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design, FMGALS@MEMOCODE 2007, Nice, France, May 29, 2007. Electronic Notes in Theoretical Computer Science 200(1), Elsevier 2008 [contents]
• 2007
• 
  Julien Boucaron, Jean-Vivien Millo:
  Compositionality of Statically Scheduled IP. FMGALS@MEMOCODE 2007: 71-87
• 
  Daniel Gebhardt, Kenneth S. Stevens:
  Elastic Flow in an Application Specific Network-on-Chip. FMGALS@MEMOCODE 2007: 3-15
• 
  Alain Girault, Robert de Simone:
  Preface. FMGALS@MEMOCODE 2007: 1-2
• 
  Julien Ouy, Jean-Pierre Talpin, Loïc Besnard, Paul Le Guernic:
  Separate Compilation of Polychronous Specifications. FMGALS@MEMOCODE 2007: 51-70
• 
  Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla:
  Dataflow Architectures for GALS. FMGALS@MEMOCODE 2007: 33-50
• 
  JunBok You, Yang Xu, Hosuk Han, Kenneth S. Stevens:
  Performance Evaluation of Elastic GALS Interfaces and Network Fabric. FMGALS@MEMOCODE 2007: 17-32
• 2006
• 
  Montek Singh, Jean-Pierre Talpin:
  Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design, FMGALS@MEMOCODE 2005, Verona, Italy, July 15, 2005. Electronic Notes in Theoretical Computer Science 146(2), Elsevier 2006 [contents]
• 2005
• 
  Ankur Agiwal, Montek Singh:
  Multi-Clock Latency-Insensitive Architecture and Wrapper Synthesis. FMGALS@MEMOCODE 2005: 5-28
• 
  David S. Bormann:
  GALS Test Chip on 130nm Process. FMGALS@MEMOCODE 2005: 29-40
• 
  Julien Boucaron, Jean-Vivien Millo, Robert de Simone:
  Another Glance at Relay Stations in Latency-Insensitive Design. FMGALS@MEMOCODE 2005: 41-59
• 
  Luca P. Carloni:
  The Role of Back-Pressure in Implementing Latency-Insensitive Systems. FMGALS@MEMOCODE 2005: 61-80
• 
  Sohini Dasgupta, Dumitru Potop-Butucaru, Benoît Caillaud, Alexandre Yakovlev:
  Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits. FMGALS@MEMOCODE 2005: 81-103
• 
  Frederic Doucet, Massimiliano Menarini, Ingolf H. Krüger, Rajesh K. Gupta, Jean-Pierre Talpin:
  A Verification Approach for GALS Integration of Synchronous Components. FMGALS@MEMOCODE 2005: 105-131
• 
  Frank K. Gürkaynak, Stephan Oetiker, Hubert Kaeslin, Norbert Felber, Wolfgang Fichtner:
  Design Challenges for a Differential-Power-Analysis Aware GALS-based AES Crypto ASIC. FMGALS@MEMOCODE 2005: 133-149
• 
  Julien Ouy:
  A Survey of Desynchronization in a Polychronous Model of Computation. FMGALS@MEMOCODE 2005: 151-167
• 
  Ken S. Stevens, Sandeep K. Shukla, Montek Singh, Jean-Pierre Talpin:
  Preface. FMGALS@MEMOCODE 2005: 1-3
• 
  Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner, Jean-Pierre Talpin:
  A Functional Programming Framework for Latency Insensitive Protocol Validation. FMGALS@MEMOCODE 2005: 169-188
• 
  Xu Wang, Marta Z. Kwiatkowska, Georgios Theodoropoulos, Qianyi Zhang:
  Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs. FMGALS@MEMOCODE 2005: 189-206