Pages that link to "Item:Q5375450"
From MaRDI portal
The following pages link to Priority inheritance protocols: an approach to real-time synchronization (Q5375450):
Displayed 23 items.
- An optimal resource sharing protocol for generalized multiframe tasks (Q478394) (← links)
- Exact comparison of fixed priority and EDF scheduling based on speedup factors for both pre-emptive and non-pre-emptive paradigms (Q497994) (← links)
- Graph-based models for real-time workload: a survey (Q497995) (← links)
- A misconception in blocking time analyses under multiprocessor synchronization protocols (Q518846) (← links)
- Real-time multiprocessor locks with nesting: optimizing the common case (Q779438) (← links)
- Optimal priority assignment in the presence of blocking (Q845683) (← links)
- A real-time configurable synchronization protocol for self-suspending process sets (Q1039301) (← links)
- Rate-monotonic scheduling for hard-real-time systems (Q1278515) (← links)
- Coordinating action systems (Q1592481) (← links)
- A simple proof technique for priority-scheduled systems (Q1607082) (← links)
- Improved response-time bounds in fixed priority scheduling with arbitrary deadlines (Q1698773) (← links)
- Dual ceiling protocol for real-time synchronization under preemption threshold scheduling (Q1959422) (← links)
- Processor bounding for an efficient non-preemptive task scheduling algorithm (Q2009223) (← links)
- Priority inheritance with backtracking for iterative multi-agent path finding (Q2163887) (← links)
- Transaction scheduling protocols for controlling priority inversion: a review (Q2197790) (← links)
- Analysis and implementation of the multiprocessor bandwidth inheritance protocol (Q2251355) (← links)
- Priority inheritance protocol proved correct (Q2303234) (← links)
- WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model (Q2464934) (← links)
- A robot model of the basal ganglia: behavior and intrinsic processing (Q2488677) (← links)
- Reasoning about programs by exploiting the environment (Q4632437) (← links)
- Local Reasoning for Global Graph Properties (Q5041096) (← links)
- Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks (Q5505617) (← links)
- Static race detection for periodic programs (Q6166790) (← links)