Volume 28, Issue 2

March 2006

Special Issue on Formal Methods for Globally Asynchronous and Locally Synchronous (GALS) Systems

Issue Editors:

6 articles in this issue

Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems
Sandeep K. Shukla
Michael Theobald
Guest Editorial 03 May 2006 Pages: 91 - 92
A Framework for Modeling the Distributed Deployment of Synchronous Designs
Luca P. Carloni
Alberto L. Sangiovanni-Vincentelli
OriginalPaper 03 May 2006 Pages: 93 - 110
Concurrency in Synchronous Systems
Dumitru Potop-Butucaru
Benoît Caillaud
Albert Benveniste
OriginalPaper 03 May 2006 Pages: 111 - 130
An algebraic theory for behavioral modeling and protocol synthesis in system design
Jean-Pierre Talpin
Paul Le Guernic
OriginalPaper 03 May 2006 Pages: 131 - 151
Reasoning about synchronization in GALS systems
Supratik Chakraborty
Joycee Mekie
Dinesh K. Sharma
OriginalPaper 03 May 2006 Pages: 153 - 169
A predictive synchronizer for periodic clock domains
Uri Frank
Tsachy Kapshitz
Ran Ginosar
OriginalPaper 03 May 2006 Pages: 171 - 186

Search