Pinned Repositories
benedond.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
safety-critical-scheduling
Scheduling a safety-critical applications within temporal-isolation windows (Thermac, Honeywell).
demos-sched
Scheduler for simulation of avionics multi-core workloads on Linux
thermobench
Tools and benchmarks for measuring thermal properties of SoCs running Linux
benedond's Repositories
benedond/benedond.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
benedond/safety-critical-scheduling
Scheduling a safety-critical applications within temporal-isolation windows (Thermac, Honeywell).