Wei Sheng, Yanyan Gao, Li Xi, Xuehai Zhou. Schedulability Analysis for MultiCore Global Scheduling with Model Checking. In Magdy S. Abadir, Jay Bhadra, Li-C. Wang, editors, 11th International Workshop on Microprocessor Test and Verification, MTV 2010, Austin, TX, USA, December 13-15, 2010. pages 21-26, IEEE, 2010. [doi]
Abstract is missing.