rent-now

Rent More, Save More! Use code: ECRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

9783540001997

Concurrency and Hardware Design : Advances in Petri Nets

by ; ; ; ;
  • ISBN13:

    9783540001997

  • ISBN10:

    3540001999

  • Format: Paperback
  • Copyright: 2003-02-01
  • Publisher: Springer Verlag
  • Purchase Benefits
  • Free Shipping Icon Free Shipping On Orders Over $35!
    Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
  • eCampus.com Logo Get Rewarded for Ordering Your Textbooks! Enroll Now
  • Write a Review Icon Write a Review
List Price: $109.00 Save up to $89.20
  • Digital
    $42.90*
    Add to Cart

    DURATION
    PRICE
    *To support the delivery of the digital material to you, a digital delivery fee of $3.99 will be charged on each digital item.

Summary

This LNCS State-of-the-Art Survey is devoted to the relatively old and well-known behavioral paradigm in computing, concurrency, and to the ways in which concurrency is exhibited or can be exploited in digital hardware devices.The nine chapters presented are organized in four parts on formal methods, asynchronous circuits, embedded systems design, and timed verification and performance analysis.

Table of Contents

Formal Models
Composing Snippets
1(33)
Igor Benko and Jo Ebergen
A Programming Approach to the Design of Asynchronous Logic Blocks
34(27)
Mark B. Josephs and Dennis P. Farey
Asynchronous Circuits
GALA (Globally Asynchronous - Locally Arbitrary) Design
61(47)
Victor Varshavsky and Vyacheslav Marakhovsky
Synthesis of Reactive Systems: Application to Asynchronous Circuit Design
108(44)
Josep Carmona, Jordi Cortadella, and Enric Pastor
Decomposition in Asynchronous Circuit Design
152(39)
Walter Vogler and Ralf Wollowski
Embedded System Design
Functional and Performance Modeling of Concurrency in VCC
191(37)
William LaRue, Sherry Solden, and Bishnupriya Bhattacharya
Modeling and Designing Heterogeneous Systems
228(46)
Felice Balarin, Luciano Lavagno, Claudio Passerone,Alberto Sangiovanni-Vincentelli, Marco Sgroi, and Yosinori Watanabe
Timed Verification and Performance Analysis
Timed Verification of Asynchronous Circuits
274(39)
Jesper Moller, Henrik Hulgaard, and Henrik Reif Andersen
Performance Analysis of Asynchronous Circuits Using Markov Chains
313(32)
Peter A. Beerel and Aiguo Xie
Author Index 345

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program