Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

Deadlock Resolution in Computer-Integrated Systems
Ajouter à une liste

Librairie Eyrolles - Paris 5e

Deadlock Resolution in Computer-Integrated Systems

Deadlock Resolution in Computer-Integrated Systems

Zhou MengChu

670 pages, parution le 18/03/2005


Complex computer-integrated systems offer enormous benefits across a wide array of applications, including automated production, transportation, concurrent software, and computer operating systems, computer networks, distributed database systems, and many other automated systems. Yet, as these systems become more complex, automated, distributed, and computing-intensive, the opportunity for deadlock issues rises exponentially. Deadlock modeling, detection, avoidance, and recovery are critical to improving system performance.

Deadlock Resolution in Computer-Integrated Systems is the first text to summarize and comprehensively treat this issue in a systematic manner. Consisting of contributions from prominent researchers in the field, this book addresses deadlock-free models and scheduling, detection and recovery methods, the formulation of dynamic control policies, and comparison and industrial benchmark studies that evaluate various approaches. The editors lay the foundation for exploring deadlock issues with a typical example of an automated manufacturing process, illustrating three primary modeling methods (digraphs, Petri nets, and automata) and comparing their respective advantages and disadvantages.

Providing all of the important models and resolution approaches, this book is the complete guide for electrical and control engineers and manufacturing, intelligent, and network systems designers to prevent and manage deadlock issues in their systems.

L'auteur - Zhou MengChu

MengChu Zhou New Jersey Institute of Technology, Newark, USA


  • Introduction to deadlock research in computer-integrated systems
  • Deadlock avoidance in automated manufacturing systems using finite automata and state space search
  • Synthesis of deadlock-free supervisory controllers using automata
  • Ramirez-serrano and b. Benhabib
  • Deadlock avoidance and dynamic routing flexibility in automated manufacturing systems
  • M. Lawley
  • Digraph-based techniques for deadlock resolution in automated manufacturing systems
  • Deadlock-free supervisory control for assembly and disassembly systems
  • Deadlock avoidance algorithms and implementation: a matrix-based approach
  • Deadlock detection and prevention of automated manufacturing systems using petri nets and siphons
  • Siphon-based characterization of liveness and liveness-enforcing supervision for sequential resource allocation systems
  • Elementary siphons of petri nets for efficient deadlock control
  • Resource-oriented petri nets in deadlock prevention and avoidance
  • The effect of modeling and control techniques on the management of deadlocks in fms
  • Deadlock characterization and resolution in interconnection networks
  • Deadlock models for a multi-service medium access protocol employing a slotted aloha or q-ary tree based signaling channel
  • Deadlock-free tcp over high-speed internet
  • Deadlock resolution in large-scale internet computing
  • Models used in static analysis for deadlocks of ada tasking programs
  • Deadlock handling in database systems
Voir tout

Caractéristiques techniques

Éditeur(s) Marcel Dekker
Auteur(s) Zhou MengChu
Parution 18/03/2005
Nb. de pages 670
Format 16 x 24
Couverture Relié
Poids 1110g
Intérieur Noir et Blanc
EAN13 9780824753689
ISBN13 978-0-8247-5368-9


Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients 0 321 79 56 75
librairie française
Librairie française depuis 1925