Исследовательская группа

Лаборатория языковых инструментов

Доказательство абстрактной теоремы для анализа наихудшего времени ожидания

December 11

Задача вычисления наихудшего времени ожидания является одной из ключевых задач в теории планирования. Для получения доказательства оценок на наихудшее временя ожидания для множества моделей планирования используются различные модификации busy-интервал метода. Все такие доказательства имеют схожую схему и это сходство можно использовать для того, чтобы выделить общую часть доказательства для использования её в дальнейшём. В докладе мы рассмотрим доказательство данной теоремы, а также приведём конкретные примеры получения "бесплатных" оценок для таких разных моделей как FP (fixed priority) и EDF (earliest deadline first).

Докладчик --- Сергей Божко