![](/img/cover-not-exists.png)
[IEEE 2016 IEEE 18th International Conference on High Performance Computing and Communications; IEEE 14th International Conference on Smart City; IEEE 2nd International Conference on Data Science and Systems (HPCC/SmartCity/DSS) - Sydney, Australia (2016.12.12-2016.12.14)] 2016 IEEE 18th International Conference on High Performance Computing and Communications; IEEE 14th International Conference on Smart City; IEEE 2nd International Conference on Data Science and Systems (HPCC/SmartCity/DSS) - Towards Fault-Tolerant Real-Time Scheduling in the seL4 Microkernel
Xu, Libin, Bai, Yuebin, Cheng, Kun, Ge, Lingyu, Nie, Danning, Zhang, Lijun, Liu, WenjiaYear:
2016
Language:
english
DOI:
10.1109/HPCC-SmartCity-DSS.2016.0104
File:
PDF, 725 KB
english, 2016