Follow
Anna Lyons
Anna Lyons
Ghost
Verified email at gh.st
Title
Cited by
Cited by
Year
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
44*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
The system can't perform the operation now. Try again later.
Articles 1–5