Concurrency and Hardware Design : Advances in Petri Nets,9783540001997

Concurrency and Hardware Design : Advances in Petri Nets

by ; ; ; ;
ISBN13: 9783540001997
ISBN10: 3540001999
Format: Paperback
Pub. Date: 2003-02-01
Publisher(s): Springer Verlag
List Price: $109.00

Rent Textbook

Select for Price
Add to Cart
There was a problem. Please try again later.

Rent Digital

Rent Digital Options
Online:30 Days access
Downloadable:30 Days
$19.80
Online:60 Days access
Downloadable:60 Days
$26.40
Online:90 Days access
Downloadable:90 Days
$33.00
Online:120 Days access
Downloadable:120 Days
$39.60
Online:180 Days access
Downloadable:180 Days
$42.90
Online:1825 Days access
Downloadable:Lifetime Access
$65.99
*To support the delivery of the digital material to you, a digital delivery fee of $3.99 will be charged on each digital item.
$42.90*
Add to Cart

New Textbook

We're Sorry
Sold Out

Used Textbook

We're Sorry
Sold Out

Buy from our Marketplace starting at $56.31

How Marketplace Works:

  • This item is offered by an independent seller and not shipped from our warehouse
  • Item details like edition and cover design may differ from our description; see seller's comments before ordering.
  • Sellers much confirm and ship within two business days; otherwise, the order will be cancelled and refunded.
  • Marketplace purchases cannot be returned to eCampus.com. Contact the seller directly for inquiries; if no response within two days, contact customer service.
  • Additional shipping costs apply to Marketplace purchases. Review shipping costs at checkout.

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

An electronic version of this book is available through VitalSource.

This book is viewable on PC, Mac, iPhone, iPad, iPod Touch, and most smartphones.

By purchasing, you will be able to view this book online, as well as download it, for the chosen number of days.

Digital License

You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.

More details can be found here.

A downloadable version of this book is available through the eCampus Reader or compatible Adobe readers.

Applications are available on iOS, Android, PC, Mac, and Windows Mobile platforms.

Please view the compatibility matrix prior to purchase.