„deadlock“

Suchergebnisse

323 Treffer

• Die Besonderheiten des Gesellschafterausschlusses bei zweigliedrigen Gesellschaften mit beschränkter Haftung – Die Russian-Roulette- und die Texas-Shoot-Out-Klausel
  Böck, Theresa 2023 Verlag Dr. Kovac GmbH
• Russian-Roulette-Klauseln und Shoot-Out-Klauseln – Buy-Sell-Agreements und alternative Wege zur Vermeidung und Überwindung eines Gesellschafterkonflikts
  Höck, Natalie 2021 Nomos Verlagsgesellschaft mbH & Co. KG
• Optimal Task Planning and Predictive Online Motion Control for a Multi-Manipulator System
  Gafur, Nigora ; Ruskowski, Martin ; Görges, Daniel 2025 Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
• Runtime MPI Correctness Checking with a Scalable Tools Infrastructure
  Hilbrich, Tobias ; Nagel, Wolfgang E. ; Ludwig, Thomas 2016 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• A Selective Packet Discard Technique for Efficient Deadlock Recovery in Networks-on-Chip
  Lankes, Andreas Johann ; Herkersdorf, Andreas ; Becker, Jürgen 2015 Universitätsbibliothek der TU München
• Complexity Results for Reachability in Cooperating Systems and Approximated Reachability by Abstract Over-Approximations
  Semmelrock, Nils ; Majster-Cederbaum, Mila 2013 Universitätsbibliothek Mannheim
• Behavioral service substitution – analysis and synthesis
  Parnjai, Jarungjit ; Reisig, Wolfgang ; Schlingloff, Holger ; Wolf, Karsten 2013 Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II
• From Capitol Hill to Istanbul: The Origins of the Current CFE Deadlock
  Kühn, Ulrich Thomas 2009 Institut für Friedensforschung und Sicherheitspolitik an der Universität Hamburg
• Deadlock resolution in automated manufacturing systems – a novel petri net approach
  Li, Zhiwu ; Zhou, MengChu 2009 Springer
• Trustworthy Global Computing – 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers
  Abadi, Martín ; Lluch Lafuente, Alberto 2014 Springer International Publishing
• Trustworthy Global Computing – 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers
  Palamidessi, Catuscia ; Ryan, Mark D. 2013 Springer Berlin Heidelberg
• Verification, Model Checking, and Abstract Interpretation – 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings
  Jhala, Ranjit ; Schmidt, David 2005 Springer Berlin Heidelberg
• Traversing Cognitive Spaces. Material Samples for Harnessing Tacit Knowledge – Workshop on Experimental Negotiation Methods
  Egger, Stefanie ; Lepenik, Christian 2025 TUDpress
• A Framework for Applying Reinforcement Learning to Deadlock Handling in Intralogistics
  Müller, Marcel ; Reyes-Rubiano, Lorena Silvana ; Reggelin, Tobias ; Zadek, Hartmut 2023 Bundesvereinigung Logistik (BVL) e.V.
• Deadlock avoidance for multiple tasks in a self-organizing production cell
  Hirsch, Joseph ; Neumayer, Martin ; Seebach, Hella ; Kosak, Oliver ; Reif, Wolfgang 2020 Universität Augsburg
• Counterexample explanation by anomaly detection
  Leue, Stefan ; Tabaei Befrouei, Mitra 2012 Bibliothek der Universität Konstanz
• Routing on the Channel Dependency Graph: – A New Approach to Deadlock-Free, Destination-Based, High-Performance Routing for Lossless Interconnection Networks
  Domke, Jens ; Nagel, Wolfgang E. ; Skeie, Tor 2017 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Predicting Errors in Concurrent Systems
  Carril Rodríguez, Luis M. ; Tichy, W. F. 2017 KIT-Bibliothek
• Logical Time for Decentralized Control of Material Handling Systems
  Seibold, Zäzilia 2016 KIT Scientific Publishing
• Ein Statement: Inklusion und Empowerment: Zur Bedeutung der UN-Behindertenrechtskonvention im Gesundheitswesen
  Arnade, Sigrid