关注
Anna Lyons
Anna Lyons
Ghost
在 gh.st 的电子邮件经过验证
标题
引用次数
引用次数
年份
Scheduling-context capabilities: A principled, light-weight OS mechanism for managing time
A Lyons, K McLeod, H Almatary, G Heiser
EuroSys Conference. ACM, Porto, Portugal, Article 26, 16, 2018
45*2018
Mixed-Criticality Support in a High-Assurance, General-Purpose Microkernel
A Lyons, G Heiser
Proc. 2nd Workshop on Mixed Criticality Systems (WMC), RTSS, 9-14, 2014
182014
Mixed-Criticality Scheduling and Resource Sharing for High-Assurance Operating Systems.
A Lyons
University of New South Wales, Sydney, Australia, 2018
32018
Flare: Efficient capability semantics for timely processor access
M Vanga, F Cerqueira, A Lyons, G Heiser
32013
Efficient concurrency control for high-performance microkernels
A Lyons
BSc thesis, School of Computer Science and Engineering, University of NSW …, 2011
22011
系统目前无法执行此操作，请稍后再试。
文章 1–5