Concurrency and hardware design : advances in petri nets

>> Google Books

所蔵情報QRコード

Concurrency and hardware design : advances in petri nets / Jordi Cortadella, Alex Yakovlev, Grzegorz Rozenberg (eds.)

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer, c2002

形態:

ix, 343 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 2549 <BA00009279>

著者名:

ISBN:

9783540001997 [3540001999]

書誌ID:

BA60126656

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Includes bibliographical references and index
"State-of-the-Art Survey"--Cover

主題:

Electronic digital computers--Design and construction; Parallel processing (Electronic computers); Petri nets

言語:

英語

目次情報:

Formal Models

Composing Snippets / Igor Benko ; Jo Ebergen

A Programming Approach to the Design of Asynchronous Logic Blocks / Mark B. Josephs ; Dennis P. Furey

Asynchronous Circuits

GALA (Globally Asynchronous - Locally Arbitrary) Design / Victor Varshavsky ; Vyacheslav Marakhovsky

Synthesis of Reactive Systems: Application to Asynchronous Circuit Design / Josep Carmona ; Jordi Cortadella ; Enric Pastor

Decomposition in Asynchronous Circuit Design / Walter Vogler ; Ralf Wollowski

Embedded System Design

Functional and Performance Modeling of Concurrency in VCC / William LaRue ; Sherry Solden ; Bishnupriya Bhattacharya

Modeling and Designing Heterogeneous Systems / Felice Balarin ; Luciano Lavagno ; Claudio Passerone ; Alberto Sangiovanni-Vincentelli ; Marco Sgroi ; Yosinori Watanabe

Timed Verification and Performance Analysis

Timed Verification of Asynchronous Circuits / Jesper Møller ; Henrik Hulgaard ; Henrik Reif Andersen

Performance Analysis of Asynchronous Circuits Using MarkovChains / Peter A. Beerel ; Aiguo Xie

Author Index

Formal Models

Composing Snippets / Igor Benko ; Jo Ebergen

A Programming Approach to the Design of Asynchronous Logic Blocks / Mark B. Josephs ; Dennis P. Furey

Asynchronous Circuits

GALA (Globally Asynchronous - Locally Arbitrary) Design / Victor Varshavsky ; Vyacheslav Marakhovsky

Synthesis of Reactive Systems: Application to Asynchronous Circuit Design / Josep Carmona ; Jordi Cortadella ; Enric Pastor

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Concurrency and Hardware Design : Advances in Petri Nets Cortadella, Jordi., Yakovlev, Alex., Rozenberg, Grzegorz., SpringerLink (Online service)	7 図書 Parallelism in hardware and software : real and apparent concurrency Lorin, Harold Prentice-Hall
2 図書 Concurrent object-oriented programming and Petri nets : advances in Petri nets Agha, Gul A., De Cindio, Fiorella, Rozenberg, Grzegorz Springer	8 電子ブック Lectures on Concurrency and Petri Nets : Advances in Petri Nets Desel, Jörg., Reisig, Wolfgang., Rozenberg, Grzegorz., SpringerLink (Online service)
3 電子ブック Concurrency and Hardware Design Jordi Cortadella, Cortadella, Jordi, Rozenberg, Grzegorz, Yakovlev, Alex SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 図書 Lectures on concurrency and Petri nets : advances in Petri nets Desel, Jörg, Reisig, Wolfgang, 1950-, Rozenberg, Grzegorz, Advanced Course on Petri Nets Springer
4 図書 Unifying Petri nets : advances in Petri nets Ehrig, Hartmut, Juhás, Gabriel, Padberg, Julia, Rozenberg, Grzegorz Springer	10 図書 Advances in Petri nets 1992 (: gw ; : us) Rozenberg, Grzegorz Springer-Verlag
5 図書 Application of Petri nets to communication networks : advances in Petri nets Billington, Jonathan, Diaz, Michel, 1945-, Rozenberg, Grzegorz Springer	11 図書 Advances in Petri nets 1993 (: gw ; : us) Rozenberg, Grzegorz Springer-Verlag
6 図書 Modular construction and partial order semantics of Petri Nets (: us ; : gw) Vogler, W. (Walter), 1955- Springer-Verlag	12 電子ブック Advances in Petri Nets 1990 Rozenberg, Rozenberg, Grzegorz SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg