A Concurrency Framework for Priority-Aware Intercomponent Requests in CAmkES on seL4
- Award ID(s):
- 1763503
- PAR ID:
- 10474993
- Publisher / Repository:
- IEEE
- Date Published:
- Journal Name:
- Proc. of 28th International Conference on Embedded and Real-Time Computing Systems and Applications
- ISBN:
- 978-1-6654-5344-8
- Page Range / eLocation ID:
- 1 to 10
- Format(s):
- Medium: X
- Location:
- Taipei, Taiwan
- Sponsoring Org:
- National Science Foundation
More Like this
No document suggestions found
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Conference Paper:
- https://doi.org/10.1109/RTCSA55878.2022.00007
