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.