Search results
From MaRDI portal
- fine-grained parameterized complexity analysis of a deadlock resolution graph problem 2022-03-01 Paper Deadlock resolution in wait-for graphs by vertex/arc deletion...10 bytes (20 words) - 21:12, 24 September 2023
- vertex deletion -- a deadlock resolution graph problem 2018-10-04 Paper And/or-convexity: a graph convexity based on processes and deadlock models 2018-06-12...10 bytes (16 words) - 20:46, 9 December 2023
- Publication Date of Publication Type Effective deadlock resolution with self-interested partially-rational agents 2015-02-05 Paper...10 bytes (16 words) - 02:13, 7 October 2023
- problem 2020-03-26 Paper Bipartizing with a matching 2019-10-11 Paper Deadlock resolution in wait-for graphs by vertex/arc deletion 2019-06-06 Paper https://portal...10 bytes (18 words) - 19:03, 6 October 2023
- Improve Cooperative Information Gathering 2015-11-25 Paper Effective deadlock resolution with self-interested partially-rational agents 2015-02-05 Paper Exploration...10 bytes (16 words) - 09:18, 7 October 2023
- dynamical approach to human computation 2019-01-08 Paper Towards Static Deadlock Resolution in the $$\pi $$-Calculus 2016-11-09 Paper Linearity, session types...10 bytes (16 words) - 02:32, 25 September 2023
- https://portal.mardi4nfdi.de/entity/Q4028488 1993-03-28 Paper Optimal deadlock resolutions in edge-disjoint reducible wait-for graphs 1992-06-26 Paper Milking...10 bytes (20 words) - 04:36, 13 December 2023
- Revisiting concurrent separation logic 2017-05-29 Paper Towards Static Deadlock Resolution in the $$\pi $$-Calculus 2016-11-09 Paper The stream-based service-centred...10 bytes (16 words) - 03:32, 7 October 2023
- vertex deletion: fine-grained parameterized complexity analysis of a deadlock resolution graph problem 2022-03-01 Paper Hitting forbidden induced subgraphs...10 bytes (20 words) - 06:03, 7 October 2023
- https://portal.mardi4nfdi.de/entity/Q4028288 1993-03-28 Paper Optimal deadlock resolutions in edge-disjoint reducible wait-for graphs 1992-06-26 Paper...10 bytes (16 words) - 10:22, 24 September 2023
- https://portal.mardi4nfdi.de/entity/Q4028288 1993-03-28 Paper Optimal deadlock resolutions in edge-disjoint reducible wait-for graphs 1992-06-26 Paper Scheduling...10 bytes (18 words) - 13:00, 24 September 2023
- https://portal.mardi4nfdi.de/entity/Q4028288 1993-03-28 Paper Optimal deadlock resolutions in edge-disjoint reducible wait-for graphs 1992-06-26 Paper...10 bytes (18 words) - 10:32, 11 December 2023
- Paper A distributed scheme for dynamic deadlock detection and resolution 1992-09-27 Paper A distributed deadlock detection algorithm: Distributed graph...10 bytes (16 words) - 09:59, 24 September 2023
- https://portal.mardi4nfdi.de/entity/Q3558859 2010-05-10 Paper Resource-Oriented Deadlock Analysis 2009-03-05 Paper A three-valued semantics for logic programmers...10 bytes (16 words) - 00:25, 13 December 2023
- Publication Date of Publication Type Deadlock Analysis and Resolution for Multi-robot Systems 2021-09-20 Paper...10 bytes (18 words) - 03:11, 7 October 2023
- Publication Date of Publication Type An Automatic Approach to Deadlock Detection and Resolution in Discrete Simulation Systems 1998-06-08 Paper...10 bytes (16 words) - 12:26, 14 March 2024
- Networks 2011-01-21 Paper A distributed scheme for dynamic deadlock detection and resolution 1992-09-27 Paper Stepwise-overlapped parallel annealing and...10 bytes (16 words) - 09:15, 7 October 2023
- incrementally stable switched systems using discretization-free multi-resolution abstractions 2020-03-06 Paper Synthesis of switching controllers using...10 bytes (16 words) - 20:15, 12 December 2023
- de/entity/Q4805332 2003-05-12 Paper An Automatic Approach to Deadlock Detection and Resolution in Discrete Simulation Systems 1998-06-08 Paper...10 bytes (18 words) - 12:26, 14 March 2024
- Publication Date of Publication Type Deadlock Analysis and Resolution for Multi-robot Systems 2021-09-20 Paper Designing the Robot Behavior for Safe Human–Robot...10 bytes (16 words) - 19:03, 24 September 2023
