Checking Linearizability of Multi-core Task Management and Scheduling System.

Qiaowen Jia, Liangjie Lv, Yuting Yang, Bohua Zhan, Peng Wu, Jifeng Hao, Hong Ye, Chao Wang, Yi Lv

Browse the full ICECCS paper archive.