
[IEEE 11th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC '08) - Orlando, FL (2008.05.5-2008.05.7)] 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) - Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking
Guan, Nan, Gu, Zonghua, Lv, Mingsong, Deng, Qingxu, Yu, GeAnnée:
2008
Langue:
english
DOI:
10.1109/isorc.2008.74
Fichier:
PDF, 346 KB
english, 2008