Pozor!
POZOR! - Seminář začne o 20 minut dříve než běžně!
V rámci pravidelného pondělního semináře skupiny G²OAT Petr Š'tastný (FIT) promluví o symbolickém provádění, technice analýzy programu, která zkoumá možné stavy programu a poskytuje tak náhled na jeho chování. Vývoj mechanismu symbolického spouštění pro konkrétní jazyk je pro vývojáře často časově náročný, zejména s ohledem na optimalizace výkonu, které jsou nutné k udržení rozumné doby běhu analýzy.
Abstrakt
Can we construct heaps with interesting beyond-worst-case properties? And how can we use them for algorithm design? We will discuss a particular heap property -- the working set property -- and its applications for Dijkstra's algorithm and the problem of sorting numbers under partial information.