research
∙
11/18/2022
A DPU Solution for Container Overlay Networks
There is an increasing demand to incorporate hybrid environments as part...
share
research
∙
09/18/2020
Akita: A CPU scheduler for virtualized Clouds
Clouds inherit CPU scheduling policies of operating systems. These polic...
research
∙
08/19/2019
Boomerang: Real-Time I/O Meets Legacy Systems
This paper presents Boomerang, an I/O system that integrates a legacy no...
research
∙
08/17/2019
PAStime: Progress-aware Scheduling for Time-critical Computing
Over-estimation of worst-case execution times (WCETs) of real-time tasks...
research
∙
04/11/2018
Reinforcement Learning for UAV Attitude Control
Autopilot systems are typically composed of an "inner loop" providing st...
research
∙
02/15/2018
End-to-end Analysis and Design of a Drone Flight Controller
Timing guarantees are crucial to cyber-physical applications that must b...
research
∙
01/24/2018
vLibOS: Babysitting OS Evolution with a Virtualized Library OS
Many applications have service requirements that are not easily met by e...
research
∙
12/23/2015
Mixed-Criticality Scheduling with I/O
This paper addresses the problem of scheduling tasks with different crit...
research
∙
10/23/2013
Quest-V: A Virtualized Multikernel for Safety-Critical Real-Time Systems
Modern processors are increasingly featuring multiple cores, as well as ...
research
∙
10/23/2013
Predictable Migration and Communication in the Quest-V Multikernel
Quest-V is a system we have been developing from the ground up, with obj...
research
∙
10/23/2013
The Quest-V Separation Kernel for Mixed Criticality Systems
Multi- and many-core processors are becoming increasingly popular in emb...
research
∙
12/21/2011