|
[SDK+20]
Muhammad Usama Sardar, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier and Akash Kumar.
Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems.
In Proc. European Workshop on Performance Engineering (EPEW'19), volume 12039 of LNCS, pages 133-147, Springer.
2019.
[Performs formal verification of scheduling strategies for multi-core systems using PRISM.]
|
|
Notes:
The original publication is available at link.springer.com.
|
Site hosted at the Department of Computer Science, University of Oxford