scientific article; zbMATH DE number 53313
From MaRDI portal
Publication:4003538
Recommendations
Cited in
(16)- A real-time configurable synchronization protocol for self-suspending process sets
- A simple proof technique for priority-scheduled systems
- Dual ceiling protocol for real-time synchronization under preemption threshold scheduling
- Analysis and implementation of the multiprocessor bandwidth inheritance protocol
- Priority inheritance protocol proved correct
- Resource access control for dynamic priority distributed real-time systems
- Resource sharing among real-time components under multiprocessor clustered scheduling
- Priority inheritance protocol proved correct
- Precise Worst-Case Blocking Time of Tasks Under Priority Inheritance Protocol
- Integrating synchronization with priority into a Kronecker representation
- A misconception in blocking time analyses under multiprocessor synchronization protocols
- Real-time multiprocessor locks with nesting: optimizing the common case
- Optimal priority assignment in the presence of blocking
- A non-blocking buffer mechanism for real-time event message communication
- M-CASH: A real-time resource reclaiming algorithm for multiprocessor platforms
- Spin-based reader-writer synchronization for multiprocessor real-time systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4003538)
