Login / Signup
Kent McLeod
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 3
Top Topics
Microsoft Windows
Multi Tasking
Multiple Kernel Learning
Svm Classification
Top Venues
J. Syst. Archit.
EuroSys
APSys
</>
Publications
</>
Jason Belt
,
John Hatcliff
,
Robby
,
John Shackleton
,
Jim Carciofini
,
Todd Carpenter
,
Eric Mercer
,
Isaac Amundson
,
Junaid Babar
,
Darren D. Cofer
,
David S. Hardin
,
Karl Hoech
,
Konrad Slind
,
Ihor Kuz
,
Kent McLeod
Model-driven development for the seL4 microkernel using the HAMR framework.
J. Syst. Archit.
134 (2023)
Anna Lyons
,
Kent McLeod
,
Hesham Almatary
,
Gernot Heiser
Scheduling-context capabilities: a principled, light-weight operating-system mechanism for managing time.
EuroSys
(2018)
Kevin Elphinstone
,
Amirreza Zarrabi
,
Kent McLeod
,
Gernot Heiser
A Performance Evaluation of Rump Kernels as a Multi-server OS Building Block on seL4.
APSys
(2017)