Search results
From MaRDI portal
- behaviour inference for deadlock checking 2016-11-07 Paper Deadlock Checking by Data Race Detection 2015-09-30 Paper Deadlock checking by data race detection...10 bytes (18 words) - 11:17, 11 December 2023
- Maximally Permissive Deadlock Avoidance in Multi-Vehicle Traffic Systems 2017-08-25 Paper Designing Compact and Maximally Permissive Deadlock Avoidance Policies...10 bytes (18 words) - 00:52, 11 December 2023
- efficient heuristic for pooled repair shop designs 2020-02-20 Paper A generic deadlock-free reactive scheduling approach 2010-11-07 Paper Mathematical formulations...10 bytes (18 words) - 07:19, 13 December 2023
- "Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems" 2002-07-21 Paper Control of deadlock and blocking for production...10 bytes (18 words) - 23:14, 11 December 2023
- marking mask 2021-03-16 Paper Deadlock analysis and control using Petri net decomposition techniques 2020-11-17 Paper Deadlock and liveness characterization...10 bytes (16 words) - 12:37, 28 January 2024
- 2021-03-03 Paper Robust deadlock control of automated manufacturing systems with multiple unreliable resources 2020-10-07 Paper Deadlock and liveness characterization...10 bytes (17 words) - 00:52, 12 December 2023
- Paper DEADLOCK PREDICTION IN THE CASE OF DYNAMIC ROUTING 1990-01-01 Paper Inclusion relationships among permutation problems 1987-01-01 Paper Deadlock-Resistant...10 bytes (18 words) - 09:58, 13 December 2023
- Optimization aspects of deadlock prevention in packet-switching networks 1993-01-16 Paper Time-Stamp Approach to Store-and-Forward Deadlock Prevention 1987-01-01...10 bytes (16 words) - 03:00, 11 December 2023
- system and control of a wind tunnel system 2022-04-19 Paper Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems 2022-02-24 Paper Observers...10 bytes (17 words) - 11:37, 11 December 2023
- de/entity/Q4621150 2019-02-08 Paper Deadlock detection of Java bytecode 2018-09-06 Paper On the dynamics of sharing graphs 2018-07-04 Paper Deadlock analysis of unbounded...10 bytes (16 words) - 18:04, 9 December 2023
- method of robust deadlock control for automated manufacturing systems with a type of unreliable resources 2020-11-27 Paper Robust deadlock control for automated...10 bytes (17 words) - 03:55, 10 December 2023
- A generic design methodology for deadlock-free routing in multicomputer networks 2002-01-27 Paper Efficient deadlock-free wormhole routing and virtual-channel...10 bytes (17 words) - 12:18, 9 December 2023
- method of robust deadlock control for automated manufacturing systems with a type of unreliable resources 2020-11-27 Paper Robust deadlock control of automated...10 bytes (16 words) - 17:14, 12 December 2023
- Relationships between memory models 2009-07-21 Paper A Transformation to Provide Deadlock-Free Programs 2008-09-30 Paper https://portal.mardi4nfdi.de/entity/Q4801025...10 bytes (16 words) - 06:17, 13 December 2023
- class of Petri nets with bimodal transitions 2023-11-01 Paper Time based deadlock prevention for Petri nets 2022-01-31 Paper A survey of siphons in Petri...10 bytes (16 words) - 18:57, 13 December 2023
- to Store-and-Forward Deadlock Prevention 1987-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3783593 1987-01-01 Paper Deadlock-Resistant Flow Control...10 bytes (17 words) - 18:14, 9 December 2023
- Publication Date of Publication Type Maximal Linear Deadlock Avoidance Policies for Sequential Resource Allocation Systems: Characterization, Computation...10 bytes (16 words) - 00:57, 25 September 2023
- 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
- to the RUN DAP for conjunctive RAS presented in "Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems" 2002-07-21...10 bytes (18 words) - 01:44, 10 December 2023
- eigenvector of an inverse Monge matrix in max-plus algebra 2010-11-05 Paper Deadlock avoidance algorithm for flexible manufacturing systems by calculating effective...10 bytes (18 words) - 12:17, 12 December 2023
