Concurrency and Hardware Design

>> Google Books

Concurrency and Hardware Design / Jordi Cortadella, Jordi Cortadella, Grzegorz Rozenberg, Alex Yakovlev

資料種別:

電子ブック

出版情報:

SpringerLink Books - AutoHoldings
Springer Berlin Heidelberg, 2002

著者名:

ISBN:

9783540001997 [3540001999]
9783540361909 [3540361901]

書誌ID:

OB00490800

子書誌情報

フルテキスト

所蔵情報

書誌詳細

その他の標題:

ADVANCES IN PETRI NETS
CONCURRENCY & HARDWARE DESIGN

言語:

英語

目次情報:

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 Springer	7 電子ブック Petri Nets and Other Models of Concurrency – ICATPN 2007 Kleijn, Jetty, Hutchison, David, Kanade, Takeo, Yakovlev, Alex SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 図書 Concurrent hardware : the theory and practice of self-timed design Kishinevskiĭ, M. A. (Mikhail Aleksandrovich), Yakovlev, Alex, Napelbaum, Eric, Reva, Olga Wiley	8 電子ブック A Decade of Concurrency Reflections and Perspectives Bakker, Bakker, Jacobus Willem, Roever, W.-P de, Rozenberg, Grzegorz SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 電子ブック Transactions on Petri Nets and Other Models of Concurrency IX Koutny, Haddad, Serge, Yakovlev, Alex SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 電子ブック Lectures on Concurrency and Petri Nets Jörg Desel, Desel, Jörg, Reisig, Wolfgang, Rozenberg, Grzegorz SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
4 電子ブック Transactions on Petri Nets and Other Models of Concurrency VIII Koutny, Maciej; van der Aalst, Wil M.P.; Yakovlev, Alex, van der Aalst, Wil M. P., Yakovlev, Alex SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	10 図書 Concurrent object-oriented programming and Petri nets : advances in Petri nets Agha, Gul A., De Cindio, Fiorella, Rozenberg, Grzegorz Springer
5 電子ブック Transactions on Petri Nets and Other Models of Concurrency VIII Koutny, Maciej; van der Aalst, Wil M.P.; Yakovlev, Alex Springer eBooks Computer Science, Springer Berlin Heidelberg	11 電子ブック Concurrent Object-Oriented Programming and Petri Nets Gul A. Agha, Agha, Gul A., De Cindio, Fiorella, Rozenberg, Grzegorz SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 電子ブック Petri Nets and Other Models of Concurrency ? ICATPN 2007 Kleijn, Jetty, Hutchison, David, Kanade, Takeo, Yakovlev, Alex Springer eBooks Computer Science, Springer Berlin Heidelberg	12 電子ブック Design and Analysis of Randomized Algorithms Brauer, Wilfried, Hromkovic, J., Rozenberg, Grzegorz Springer eBooks Computer Science, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12