Concurrency and Hardware Design

Keyphrases

Publications

2002

William W. LaRue, Sherry Solden, Bishnupriya Bhattacharya
Functional and Performance Modeling of Concurrency in VCC. Concurrency and Hardware Design (2002)
Jesper B. Møller, Henrik Hulgaard, Henrik Reif Andersen
Timed Verification of Asynchronous Circuits. Concurrency and Hardware Design (2002)
Mark B. Josephs, Dennis P. Furey
A Programming Approach to the Design of Asynchronous Logic Blocks. Concurrency and Hardware Design (2002)
Victor Varshavsky, Vyacheslav Marakhovsky
GALA (Globally Asynchronous - Locally Arbitrary) Design. Concurrency and Hardware Design (2002)
Josep Carmona, Jordi Cortadella, Enric Pastor
Synthesis of Reactive Systems: Application to Asynchronous Circuit Design. Concurrency and Hardware Design (2002)
Peter A. Beerel, Aiguo Xie
Performance Analysis of Asynchronous Circuits Using Markov Chains. Concurrency and Hardware Design (2002)
Felice Balarin, Luciano Lavagno, Claudio Passerone, Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, Yosinori Watanabe
Modeling and Designing Heterogeneous Systems. Concurrency and Hardware Design (2002)
Igor Benko, Jo C. Ebergen
Composing Snippets. Concurrency and Hardware Design (2002)
Walter Vogler, Ralf Wollowski
Decomposition in Asynchronous Circuit Design. Concurrency and Hardware Design (2002)

volume 2549, 2002

Concurrency and Hardware Design, Advances in Petri Nets Concurrency and Hardware Design 2549 (2002)