Scheduling Invasive Multi-Core Programs Under Uncertainty (A05*)

点击翻译按钮获取中文摘要

This project explores and mathematically analyses algorithms for scheduling and resource management in multi-core systems under uncertain input. We develop algorithms within the invasive computing paradigm that can handle e.g. uncertain task sets, unknown arrival times or uncertain task execution times while giving provable performance guarantees regarding non-functional properties. The newly proposed project is of foundational character and builds on methods from algorithms theory and mathematical optimisation.