research
∙
08/31/2022
PaRTAA: A Real-time Multiprocessor for Mixed-Criticality Airborne Systems
Mixed-criticality systems, where multiple systems with varying criticali...
share
research
∙
08/30/2022
Ærø: A Platform Architecture for Mixed-Criticality Airborne Systems
Real-time embedded platforms with resource constraints can take the bene...
research
∙
02/19/2022
A Probabilistic Programming Idiom for Active Knowledge Search
In this paper, we derive and implement a probabilistic programming idiom...
research
∙
11/25/2021
