Erscheinungsjahr
Format
Lizenz
Synonyme wurden verwendet für: Deadlock-Problem
Suche ohne Synonyme: keywords:("Deadlock-Problem")
Verwendete Synonyme:
- deadlock
- deadlock issue
-
A Petri Net Model for an Open Path Multi-AGV System
Tema Archiv | 2014|Schlagwörter: Deadlock-Problem -
Elementary-Siphon-Based Control Policy for Flexible Manufacturing Systems with Partial Observability and Controllability of Transitions
Tema Archiv | 2015|Schlagwörter: Deadlock-Problem -
Deadlock modeling and control of semiconductor track systems using resource-oriented Petri Nets
Tema Archiv | 2007|Schlagwörter: Deadlock-Problem -
Socially-mediated negotiation for obstacle avoidance in collective transport
Tema Archiv | 2013|Schlagwörter: Deadlock-Problem -
Designing a Deadlock-Free Train Scheduler: A Model Checking Approach
Tema Archiv | 2014|Schlagwörter: Deadlock-Problem -
A generic deadlock-free reactive scheduling approach
Tema Archiv | 2009|Schlagwörter: Deadlock-Problem -
Zone-Control-Based Traffic Control of Automated Guided Vehicles
Tema Archiv | 2015|Schlagwörter: Deadlock-Problem -
Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification
Tema Archiv | 2014|Schlagwörter: Deadlock-Problem, deadlock freedom -
Behavioral modeling and automated verification of a Cloud-based framework to share the knowledge and skills of human resources
Tema Archiv | 2015|Schlagwörter: Deadlock-Problem -
An Automated Bilateral Negotiation about Price and Quantity in E-Commerce
Tema Archiv | 2013|Schlagwörter: Deadlock-Problem -
PARCOACH: Combining static and dynamic validation of MPI collective communications
Tema Archiv | 2014|Schlagwörter: Deadlock-Problem -
An improved, centralised algorithm for detection and resolution of distributed deadlock in the generalised model
Taylor & Francis Verlag | 2012|Schlagwörter: generalised deadlock, deadlock detection, deadlock resolution -
A formal model of message blocking and deadlock resolution in interconnection networks
Tema Archiv | 2000|Schlagwörter: Deadlock-Problem -
New Controllability Condition for Siphons in Ws 3PR Nets
Tema Archiv | 2015|Schlagwörter: Deadlock-Problem -
A deadlock prevention approach for flexible manufacturing systems without complete siphon enumeration of their Petri net models
Tema Archiv | 2009|Schlagwörter: Deadlock-Problem -
Concurrency control in distributed database systems
Tema Archiv | 1981|Schlagwörter: DEADLOCK-PROBLEM -
Efficient detection and resolution of generalized distributed deadlocks
Tema Archiv | 1994|Schlagwörter: Deadlock-Problem -
Computationally Improved Optimal Supervisory Control Policy for FMSs Using Petri Nets
Tema Archiv | 2014|Schlagwörter: Deadlock-Problem -
A formal approach for the specification and verification of a Trustworthy Human Resource Discovery mechanism in the Expert Cloud
Tema Archiv | 2015|Schlagwörter: Deadlock-Problem -
Scheduling manufacturing systems with blocking: a Petri net approach
Tema Archiv | 2009|Schlagwörter: Deadlock-Problem
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.