„Deadlock Detection“

Suchergebnisse

1.000+ Treffer

• Runtime MPI Correctness Checking with a Scalable Tools Infrastructure
  Hilbrich, Tobias ; Nagel, Wolfgang E. ; Ludwig, Thomas 2016 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Counterexample explanation by anomaly detection
  Leue, Stefan ; Tabaei Befrouei, Mitra 2012 Bibliothek der Universität Konstanz
• Automatic WSTS-based repair and deadlock detection of parameterized systems
  Baumeister, Tom ; Jacobs, Swen ; Sakr, Mouhammad ; Völp, Marcus
• Testing of Concurrent Programs
  Isabel, Miguel 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Formal Methods for Multicore Programming – 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
  Bernardo, Marco ; Johnsen, Einar Broch 2015 Springer International Publishing
• Formal Methods for Executable Software Models – 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
  2014 Springer International Publishing
• Deadlock-Detection in Component-Based Systems is NP-hard.
  Minnameier, Christoph 2006 Universitätsbibliothek Mannheim
• Automatic Repair and Deadlock Detection for Parameterized Systems
  Jacobs, Swen ; Sakr, Mouhammad ; Völp, Marcus
• Distributed deadlock detection
  Bracha, Gabriel ; Toueg, Sam
• Control mechanisms in distributed object bases – synchronization, deadlock detection, migration
  Krivokapić, Natalija 1999 Infix
• Deadlock detection in communicating finite state machines by even reachability analysis
  Peng, Wuxu
• Deadlock detection and resolution for discrete-event simulation: multiple-unit seizes
  Venkatesh, S. ; Smith, J. ; Deuermeyer, B. ; Curry, G.
• Deadlock avoidance based on connectivity detection and dynamic backtracking for path planning
  Yu, Jin ; You, Xiaoming ; Liu, Sheng
• MPI-RCDD: A Framework for MPI Runtime Communication Deadlock Detection
  Wei, Hong-Mei ; Gao, Jian ; Qing, Peng ; Yu, Kang ; Fang, Yan-Fei ; Li, Ming-Lu
• A fault tolerant election-based deadlock detection algorithm in distributed systems
  Lu, Wei ; Yang, Yong ; Wang, LiQiang ; Xing, Weiwei ; Che, Xiaoping ; Chen, Lei
• On the verification of SCOOP programs
  Caltais, Georgiana ; Meyer, Bertrand 2017 KOPS Universität Konstanz
• A framework for deadlock detection in core ABS
  Giachino, Elena ; Laneve, Cosimo ; Lienhardt, Michael
• Deadlock Detection and Resolution Strategies in Distributed Database
  Gupta, Swati 2018 LAP LAMBERT Academic Publishing
• Correct and efficient deadlock detection and resolution in distributed database systems
  Vossen, Gottfried ; Wang, S. Shouhan 1989 RWTH, Fachgruppe Informatik
• Runtime MPI correctness checking with a scalable tools infrastructure
  Hilbrich, Tobias