The following pages link to (Q4003538):
Displayed 10 items.
- 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 non-blocking buffer mechanism for real-time event message communication (Q853609) (← links)
- M-CASH: A real-time resource reclaiming algorithm for multiprocessor platforms (Q944004) (← links)
- Spin-based reader-writer synchronization for multiprocessor real-time systems (Q993509) (← links)
- A simple proof technique for priority-scheduled systems (Q1607082) (← links)
- Priority inheritance protocol proved correct (Q2303234) (← links)
- Resource access control for dynamic priority distributed real-time systems (Q2432057) (← links)
- Resource sharing among real-time components under multiprocessor clustered scheduling (Q2443942) (← links)