Suivre
Anna Lyons
Anna Lyons
Ghost
Adresse e-mail validée de gh.st
Titre
Citée par
Citée par
Année
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–5