Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking.

Nan Guan, Zonghua Gu, Mingsong Lv, Qingxu Deng, Ge Yu

Browse the full ISORC paper archive.