A Concurrency Framework for Priority-Aware Intercomponent Requests in CAmkES on seL4
A Concurrency Framework for Priority-Aware Intercomponent Requests in CAmkES on seL4
复制标题
SEL4 上 CAmkES 中优先级感知组件间请求的并发框架
DOI：
10.1109/rtcsa55878.2022.00007
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Gill, Chris
中科院分区：
文献类型：
--
作者：
Sudvarg, Marion;Gill, Chris
登录
查看更多内容
ROS 2 的自动延迟管理：优点、挑战和未解决的问题
DOI：
10.1109/rtas52030.2021.00029
发表时间：
2021
期刊：
2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS)
影响因子：
--
作者：
Tobias Blass;A. Hamann;R. Lange;D. Ziegenbein;Björn B. Brandenburg
通讯作者：
Björn B. Brandenburg
在现实世界中经过正式验证的软件
影响因子：
22.7
作者：
Gerwin Klein;June Andronick;M. Fernandez;I. Kuz;Toby C. Murray;Gernot Heiser
通讯作者：
Gernot Heiser
分布式实时和嵌入式系统的可配置组件中间件的设计和性能
DOI：
10.1109/real.2004.53
发表时间：
2004
期刊：
25th IEEE International Real-Time Systems Symposium
影响因子：
--
作者：
Venkita Subramonian;Liang;C. Gill;Nanbor Wang
通讯作者：
Nanbor Wang
基于预约的实时系统中的任务同步
影响因子：
3.7
作者：
Giuseppe Lipari;Gerardo Lamastra;Luca Abeni
通讯作者：
Luca Abeni
安全嵌入式系统的最小权限实用原则
DOI：
10.1109/rtas52030.2021.00009
发表时间：
2021
期刊：
IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS
影响因子：
--
作者：
Jero, Samuel;Furgala, Juliana;Pan, Runyu;Gadepalli, Phani Kishore;Clifford, Alexandra;Ye, Bite;Khazan, Roger;Ward, Bryan C.;Parmer, Gabriel;Skowyra, Richard
通讯作者：
Skowyra, Richard