Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
.
Default
.
PageMenu
-
Main Menu
-
Simple Search
.
Advanced Search
.
Journal Search
.
Refine Search Results
.
Preferences
.
Search Menu
Simple Search
.
Advanced Search
.
New Items Search
.
Journal Search
.
Refine Search Results
.
Bottom Menu
Help
Italian
.
English
.
German
.
New Item Menu
New Items Search
.
New Items List
.
Links
SISSA Library
.
ICTP library
.
Italian National web catalog (SBN)
.
Trieste University web catalog
.
Udine University web catalog
.
© LIBERO v6.4.1sp220816
Page content
You are here
:
Catalogue Display
Catalogue Display
Self-Timed Control of Concurrent Processes: The Design of Aperiodic Logical Circuits in Computers and Discrete Systems /
.
Bookmark this Record
Catalogue Record 49027
.
.
LibraryThing
.
.
Google Books
.
.
Amazon Books
.
Catalogue Information
Catalogue Record 49027
.
Reviews
Catalogue Record 49027
.
British Library
Resolver for RSN-49027
Google Scholar
Resolver for RSN-49027
WorldCat
Resolver for RSN-49027
Catalogo Nazionale SBN
Resolver for RSN-49027
GoogleBooks
Resolver for RSN-49027
ICTP Library
Resolver for RSN-49027
.
Share Link
Jump to link
Catalogue Information
Field name
Details
Dewey Class
004.0151
Title
Self-Timed Control of Concurrent Processes ([EBook] :) : The Design of Aperiodic Logical Circuits in Computers and Discrete Systems / / edited by Victor I. Varshavsky.
Added Personal Name
Varshavsky, Victor I.
editor.
Other name(s)
SpringerLink (Online service)
Publication
Dordrecht : : Springer Netherlands, , 1990.
Physical Details
432 p. : online resource.
Series
Mathematics and its applications. Soviet series
0169-6378 ; ; 52
ISBN
9789400904873
Contents note
1 Introduction -- 2 Asynchronous processes and their interpretation -- 2.1 Asynchronous processes -- 2.2 Petri nets -- 2.3 Signal graphs -- 2.4 The Muller model -- 2.5 Parallel asynchronous flow charts -- 2.6 Asynchronous state machines -- 2.7 Reference notations -- 3 Self-synchronizing codes -- 3.1 Preliminary definitions -- 3.2 Direct-transition codes -- 3.3 Two-phase codes -- 3.4 Double-rail code -- 3.5 Code with identifier -- 3.6 Optimally balanced code -- 3.7 On the code redundancy -- 3.8 Differential encoding -- 3.9 Reference notations -- 4 Aperiodic circuits -- 4.1 Two-phase implementation of finite state machine -- 4.2 Completion indicators and checkers -- 4.3 Synthesis of combinatorial circuits -- 4.4 Aperiodic flip-flops -- 4.5 Canonical aperiodic implementations of finite state machines -- 4.6 Implementation with multiple phase signals -- 4.7 Implementation with direct transitions -- 4.8 On the definition of an aperiodic state machine -- 4.9 Reference notations -- 5 Circuit modelling of control flow -- 5.1 The modelling of Petri nets -- 5.2 The modelling of parallel asynchronous flow charts -- 5.3 Functional completeness and synthesis of semi-modular circuits -- 5.4 Synthesis of semi-modular circuits in limited bases -- 5.5 Modelling pipeline processes -- 5.6 Reference notations -- 6 Composition of asynchronous processes and circuits -- 6.1 Composition of asynchronous processes -- 6.2 Composition of aperiodic circuits -- 6.3 Algebra of asynchronous circuits -- 6.4 Reference notations -- 7 The matching of asynchronous processes and interface organization -- 7.1 Matched asynchronous processes -- 7.2 Protocol -- 7.3 The matching asynchronous process -- 7.4 The T2 interface -- 7.5 Asynchronous interface organization -- 7.6 Reference notations -- 8 Analysis of asynchronous circuits and processes -- 8.1 The reachability analysis -- 8.2 The classification analysis -- 8.3 The set of operational states -- 8.4 The effect of non-zero wire delays -- 8.5 Circuit Petri nets -- 8.6 On the complexity of analysis algorithms -- 8.7 Reference notations -- 9 Anomalous behaviour of logical circuits and the arbitration problem -- 9.1 Arbiters -- 9.2 Oscillatory anomaly -- 9.3 Meta-stability anomaly -- 9.4 Designing correctly-operating arbiters -- 9.5 “Bounded” arbiters and safe inertial delays -- 9.6 Reference notations -- 10 Fault diagnosis and self-repair in aperiodic circuits -- 10.1 Totally self-checking combinational circuits -- 10.2 Totally self-checking sequential machines -- 10.3 Fault detection in autonomous circuits -- 10.4 Self-repair organization for aperiodic circuits -- 10.5 Reference notations -- 11 Typical examples of aperiodic design modules -- 11.1 The JK-flip-flop -- 11.2 Registers -- 11.3 Pipeline registers -- 11.4 Converting single-rail signals into double-rail ones -- 11.5 Counters -- 11.6 Reference notations -- Editor’s Epilogue -- References.
System details note
Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users)
Internet Site
http://dx.doi.org/10.1007/978-94-009-0487-3
Links to Related Works
Subject References:
Calculus of variations
.
Calculus of variations and optimal control; optimization
.
Circuits and Systems
.
Computer Science
.
Computers
.
Electrical engineering
.
Electronic circuits
.
Microprocessors
.
Processor Architectures
.
Theory of Computation
.
Authors:
Varshavsky, Victor I.
.
Corporate Authors:
SpringerLink (Online service)
.
Series:
Mathematics and its applications. Soviet series
.
Classification:
004.0151
.
.
ISBD Display
Catalogue Record 49027
.
Tag Display
Catalogue Record 49027
.
Related Works
Catalogue Record 49027
.
Marc XML
Catalogue Record 49027
.
Add Title to Basket
Catalogue Record 49027
.
Catalogue Information 49027
Beginning of record
.
Catalogue Information 49027
Top of page
.
Download Title
Catalogue Record 49027
Export
This Record
As
Labelled Format
Bibliographic Format
ISBD Format
MARC Format
MARC Binary Format
MARCXML Format
User-Defined Format:
Title
Author
Series
Publication Details
Subject
To
File
Email
Reviews
This item has not been rated.
Add a Review and/or Rating
49027
1
49027
-
2
49027
-
3
49027
-
4
49027
-
5
49027
-
Quick Search
Search for