Pages that link to "Item:Q1412282"
From MaRDI portal
The following pages link to On the optimality of randomized deadlock avoidance policies (Q1412282):
Displaying 8 items.
- Robustness of deadlock avoidance algorithms for sequential processes. (Q1413928) (← links)
- Analyzing randomized search heuristics via stochastic domination (Q2415323) (← links)
- Optimal linear separation of the safe and unsafe subspaces of sequential resource allocation systems as a set-covering problem: algorithmic procedures and geometric insights (Q2840155) (← links)
- On the correctness of orphan management algorithms (Q4302795) (← links)
- Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems (Q4368693) (← links)
- Correction to the RUN DAP for conjunctive RAS presented in "Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems" (Q4540370) (← links)
- On the Complexity of Maximally Permissive Deadlock Avoidance in Multi-Vehicle Traffic Systems (Q4978874) (← links)
- Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems (Q5282318) (← links)