Pages that link to "Item:Q5618224"
From MaRDI portal
The following pages link to Comments on prevention of system deadlocks (Q5618224):
Displaying 9 items.
- Safe states in banker-like resource allocation problems (Q580968) (← links)
- The Banker's problem with precedences (Q582904) (← links)
- The parallel complexity of deadlock detection (Q1091805) (← links)
- Scheduling according to job priority with prevention of deadlock and permanent blocking (Q1229756) (← links)
- On reduction of asynchronous systems (Q1241274) (← links)
- Formal derivation of strongly correct concurrent programs (Q1251066) (← links)
- Job scheduling guaranteing reasonable turn-around times (Q2553859) (← links)
- A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems (Q4394364) (← links)
- Livelocks in parallel programs (Q5904921) (← links)