팔로우
Kent Mcleod
Kent Mcleod
Data61 CSIRO
data61.csiro.au의 이메일 확인됨
제목
인용
인용
연도
Scheduling-context capabilities: a principled, light-weight operating-system mechanism for managing time
A Lyons, K McLeod, H Almatary, G Heiser
Proceedings of the Thirteenth EuroSys Conference, 26, 2018
452018
A Performance Evaluation of Rump Kernels as a Multi-server OS Building Block on seL4
K Elphinstone, A Zarrabi, K Mcleod, G Heiser
Proceedings of the 8th Asia-Pacific Workshop on Systems, 11, 2017
102017
Model-driven development for the seL4 microkernel using the HAMR framework
J Belt, J Hatcliff, J Shackleton, J Carciofini, T Carpenter, E Mercer, ...
Journal of Systems Architecture 134, 102789, 2023
62023
Usermode OS Components On seL4 With Rump Kernels
K McLeod
22016
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–4