research
∙
11/26/2020
MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems
Inspired by the pioneering work of Gilles Kahn on concurrent systems, we...
share
research
∙
11/13/2020
Schedulability Bounds for Parallel Real-Time Tasks under Global Rate-Monotonic Scheduling
Schedulability bounds not only serve as efficient tests to decide schedu...
research
∙
03/18/2020
On the Analysis of Parallel Real-Time Tasks with Spin Locks
Locking protocol is an essential component in resource management of rea...
research
∙
05/04/2016
