Zhuo Cheng, Haitao Zhang, Yasuo Tan, Yuto Lim. SMT-based scheduling for multiprocessor real-time systems. In 15th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2016, Okayama, Japan, June 26-29, 2016. pages 1-7, IEEE, 2016. [doi]
Abstract is missing.