Skip to main content

Real-Time Systems

Ausgabe 2/2023

Inhalt (6 Artikel)

CertiCAN certifying CAN analyses and their results

Pascal Fradet, Xiaojie Guo, Sophie Quinton

Open Access

Partial-order reduction in reachability-based response-time analyses of limited-preemptive DAG tasks

Sayra Ranjha, Pourya Gohari, Geoffrey Nelissen, Mitra Nasri

Generalized self-cueing real-time attention scheduling with intermittent inspection and image resizing

Shengzhong Liu, Xinzhe Fu, Yigong Hu, Maggie Wigness, Philip David, Shuochao Yao, Lui Sha, Tarek Abdelzaher

Premium Partner