Juri Lelli
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
who talks about the same things
- Changwoo Min11 talks
- Matthias Killat2 talks
- Daniel Bristot de Oliveira25 talks
- Wei Huang17 talks
- Kensei Nakada7 talks
- Alexander Kanevskiy16 talks
| title | conference | date |
|---|---|---|
| RV and the deadline scheduler: how to verify your subsystem at runti... | Linux Plumbers Conference 2025 | 2025-12-11 |
Runtime Verification runs inside the kernel to check the deadline scheduler by compiling models into kernel monitors, adding timed automata and per-object… | ||
| SCHED_DEADLINE desiderata and slightly crazy ideas | DevConf.CZ 2020 | 2020-01-24 |
Describes missing and in-development work for SCHED_DEADLINE: an RFC and patches for pressure inheritance to let mutex owners execute with donors’… | ||
| SCHED_DEADLINE: It's Alive! | Embedded Linux Conference + OpenIoT Summit North America 2017 | 2017-02-21 |
SCHED_DEADLINE gains concrete patches: a bandwidth reclaiming (greedy reclamation of unused bandwidth) prototype lets tasks temporarily exceed their static… | ||
| nothing matches | ||