Prohlížení Diplomové práce - 18101 dle autora "Donat-Bouillud Pierre"
-
Automatizované pipeliny pro analýzu dat
Autor: Michael Vrána; Vedoucí práce: Křikava Filip; Oponent práce: Donat-Bouillud Pierre
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-09)Pipeliny pro analýzu dat popisují datovou analýzu, jako sekvenci na sobě závisejících kroků. Tyto pipeliny jsou reproducibilní a lze je vyhodnocovat efektivně. Tato práce se zabývá návrhem a implementací balíčku v jazyce ... -
Vnořené smyčky a path explosion problém v symbolické exekuci
Autor: Vojtěch Rozhoň; Vedoucí práce: Donat-Bouillud Pierre; Oponent práce: Kirsch Christoph
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-06)Práce vyhodnocuje techniky pro řešení problému exploze cest v symbolické exekuci. Obzvláštní důraz je kladen na interakce jednotlivých technik se vnořenými cykly. Metody ořezávání cest, subsumpce cest, slučování stavů a ...