Concurrency and Hardware Design Advances in Petri Nets /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Cortadella, Jordi (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Yakovlev, Alex (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Rozenberg, Grzegorz (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
• Έκδοση: 1st ed. 2002.
• Σειρά: Lecture Notes in Computer Science, 2549
• Θέματα: Software engineering.; Computer hardware.; Computer organization.; Computers.; Mathematical logic.; Software Engineering/Programming and Operating Systems.; Computer Hardware.; Computer Systems Organization and Communication Networks.; Software Engineering.; Computation by Abstract Devices.; Mathematical Logic and Formal Languages.

As CMOS semiconductor technology strides towards billions of transistors on a single die new problems arise on the way. They are concerned with the - minishing fabrication process features, which a?ect for example the gate-to-wire delay ratio. They manifest themselves in greater variations of size a...

Πίνακας περιεχομένων:

• Formal Models
• Composing Snippets
• A Programming Approach to the Design of Asynchronous Logic Blocks
• Asynchronous Circuits
• GALA (Globally Asynchronous - Locally Arbitrary) Design
• Synthesis of Reactive Systems: Application to Asynchronous Circuit Design
• Decomposition in Asynchronous Circuit Design
• Embedded System Design
• Functional and Performance Modeling of Concurrency in VCC
• Modeling and Designing Heterogeneous Systems
• Timed Verification and Performance Analysis
• Timed Verification of Asynchronous Circuits
• Performance Analysis of Asynchronous Circuits Using Markov Chains.