JetBrains Research — наука, меняющая мир

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

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

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

11.12.2017, 17:15.

Место: ауд. 3248, мат-мех. факультет СПбГУ, Старый Петергоф, Университетский пр-т, д. 28