21 search results - page 5 / 5 » Reasoning about Threads with Bounded Lock Chains |
LCTRTS
2005
Springer
13 years 10 months ago
2005
Springer
Performance guarantees can be given to tasks in an embedded system by ensuring that access to each shared resource is mediated by an appropriate scheduler. However, almost all pre...