|
H. Alan, Q. Y. Meng, B. Martin, “Radiation Modeling Using the Uintah Heterogeneous CPU-GPU Runtime System”, in Proceedings of the 1st Conference of the Extreme Science and Engineering Discovery Environment (XSEDE’12), ACM, 2012.
|
|
G. Behrmann, A. David, K. G. Larsen. “A Tutorial on Uppaal[M]//Formal Methods for the Design of Real-Time Systems”, Springer Berlin Heidelberg, 2004.
|
|
Sheng-Xin Dai, Mei Hong, Bing Guo, Qiu-Hui Yang, Wei Huang, Bao-Ping Xu, “Schedulability Analysis Model for Multiprocessor Real-Time Systems Using UPPAAL”. Ruan Jian Xue Bao/ Journal of Software, vol. 26, no. 2, pp. 279-296, 2015.
|
|
A David, J Illum, KG Larsen, A Skou. “Model-Based Framework for Schedulability Analysis Using UPPAAL 4.1.” in Mosterman PJ, ed. Proc. of the Model-Based Design for Embedded Systems. Boca Raton: CRC Press, 2010.
|
|
R. I Davis and A. Burns, “A Survey of Hard Real-Time Scheduling for Multiprocessor Systems”, ACM Computing Surveys, vol. 43, no. 4, pp. 1-44, 2011.
|
|
G. Elliott, B Ward, and J Anderson, “GPUSync: A Framework for Real-Time GPU Management”, in Proceedings of the 34th IEEE Real-Time Systems Symposium, December 2013.
|
|
E. Fersman, L. Mokrushin, P. Pettersson, Y. Wang. “Schedulability Analysis of Fixed-Priority Systems Using Timed Automata”, Theoretical Computer Science, vol. 354, no. 2, 2006.
|
|
R. Gurulingesh, “Real-Time Scheduling on Heterogeneous Multiprocessors”, PhD dissertation, 2014.
|
|
W. Jane,S. Liu, “Real-Time Systems”, United States: Pearson Education, 2002.
|
|
P. Krcal, M. Stigge, W. Yi. “Multi-Processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times,” in Proceedings of the Formal Modeling and Analysis of Timed Systems, Springer-Verlag, 2007.
|
|
S. Lui, A. Tarek, et al, “Real Time Scheduling Theory: A Historical Perspective,” Journal of Real Time Systems, vol. 28, no. 2-3, pp. 101-155, 2004.
|
|
K. Shinpei, L. Karthik, et al, “TimeGraph: GPU Scheduling for Real-Time Multi-Tasking Environments,” in Proceedings of the 2011 USENIX conference on USENIX annual technical conference, 2011.
|
|
W. Wang, G. Dong, G. S. Zeng, et al, “Reachability Analysis of Cost-Reward Timed Automata for Energy Efficiency Scheduling,” in Proceedings of Programming Models and Applications on Multicores and Manycores (PMAM'14), ACM, 2014.
|