Volgen
Anna Lyons
Anna Lyons
Ghost
Geverifieerd e-mailadres voor gh.st
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–5