Electronic Notes in Theoretical Computer Science, Volume 245

Volume 245, August 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 A. 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 Vij, Shomit Das, Krishnaji Desai:
  The Future of Formal Methods and GALS Design. 115-134