Prohlížení katedra počítačových systémů dle autora "Tvrdík Pavel"
-
3D lokalizace bezdrátových modulů v reálném čase
Autor: Kubišta Adam; Vedoucí práce: Moucha Alexandru; Oponent práce: Tvrdík Pavel
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-02-01)Tato práce definuje problém 3D lokalizace v reálném čase, navrhuje algoritmy pro definovanou lokalizaci a navrhuje testy, kterými ověří jakost u navržených algoritmů. V praktické části tyto testy provádí a v poslední řadě ... -
Aplikace kontejnerů v kontinuálním vývoji softwaru
Autor: Henrich Le; Vedoucí práce: Ciochoň Petr; Oponent práce: Tvrdík Pavel
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-12)Táto práca sa zameriava na návrh riešenia pre spúšt'anie "pipeline" pre kontinuálnu integráciu a dodávku pre konkrétne vývojové prostredie s maximálnym využitim kontajnerov. Zaoberá sa opisom tohto prostredia, analýzou ... -
Certifikované algoritmy pro hledání minimální kostry
Autor: Tomáš Homola; Vedoucí práce: Knop Dušan; Oponent práce: Tvrdík Pavel
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-08-27)Tato práce se zabývá úvodem do procesu deduktivní formální verifikace. Teoretická část práce seznámí čtenáře s frameworkem Frama-C pro modulární analýzu programů napsaných v jazyce C. Ten k verifikaci používá pluginy, ... -
Distribuovaný systém pro spouštění a zpracování výpočtů
Autor: Jan Mašek; Vedoucí práce: Bartoň Tomáš; Oponent práce: Tvrdík Pavel
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-09)DJEES je distribuovaný systém pro spouštění a vyhodnocování úloh. Při návrhu a implemntaci byli použity nejnovější technolgie. Hlavní částí systému je Mesos framework, který zajišťuje přidělování volných prostředků ve ... -
Efektivní fuzz testování webových služeb
Autor: Matúš Ferech; Vedoucí práce: Tvrdík Pavel; 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-10)V tejto práci predstavíme inteligentný generatívny black-box fuzzer, ktorý využíva OpenAPI špecifikáciu na odhalenie zraniteľností webových služieb. Jedným z hlavných prínosov fuzzera je podpora minimalizácie vstupov, ktoré ... -
Implementace BitTorrent discovery protokolu do Clondike
Autor: Tvrdík Pavel; Vedoucí práce: Gattermayer Josef; Oponent práce: Tvrdík Pavel
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27) -
Metody symplektické ortogonalizace a redukce mřížek
Autor: Bočan Peter; Vedoucí práce: Petr Ivo; Oponent práce: Tvrdík Pavel
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-17)V tejto práci sme sa zamerali na matematický popis NTRU kryptosystému založenému na ťažkom probléme na bodovej mriežke a otestujeme viacero ortogonalizačných algoritmov popísaných v práci od Nicolasa Gamu nad malými bodovými ... -
Nástroj pro konfiguraci datových úložišť OS GNU/Linux
Autor: Trefný Vojtěch; Vedoucí práce: Podzimek Vratislav; Oponent práce: Tvrdík Pavel
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27) -
Optimalizace webového serveru pro výkonové zatížení
Autor: Staniek Štěpán; Vedoucí práce: Štěpán Pavel; Oponent práce: Tvrdík Pavel
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2015-06-08)Práce je vytvořena za účelem zjištění dostupného výkonu testovaného systému a na něm bežících aplikacích. V obsahu práce jsou diskutovány možnosti testování zátěže webového serveru. Provedeny jsou analýzy požadavku na ... -
Paralelní konstrukce konvexní obálky
Autor: Matěj Šprysl; Vedoucí práce: Šimeček Ivan; Oponent práce: Tvrdík Pavel
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-10)Tato závěrečná práce je věnována problému konvexní obálky množiny bodů a algoritmům pro její výpočet. Hlavním úkolem této práce bylo navrhnout novou verzi algoritmu Quickhull, která využívá "crawlery" ve fázi předzpracování, ... -
Simulátor síťových systémů řízený textovými příkazy
Autor: Ďurčík Jakub; Vedoucí práce: Herout Tomáš; Oponent práce: Tvrdík Pavel
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-02-01)Práce se zabývá analýzou vybrané množiny síťových systémů konfigurovatelných pomocí textových příkazů, návrhem, implementací a testováním univerzálního simulátoru konfigurace těchto systémů, který je mimo jiné možné použít ... -
Systém pro behaviorální autentizaci
Autor: Jan Pešek; Vedoucí práce: Tvrdík Pavel; Oponent práce: Novák Daniel
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-10)Cílem této práce je vytvořit Proof of Concept autentizačního systému pro ověření identity uživatele na základě jeho chování v mobilní aplikaci. Systém využívá data ze senzorů a dotykové obrazovky chytrého telefonu k ověření ... -
Systém pro konsolidaci virtuálních počítačů
Autor: Michal Polák; Vedoucí práce: Fesl Jan; Oponent práce: Tvrdík Pavel
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-02-09)V této práci se zabývám problémem konsolidace virtuálních strojů se zaměřením na optimalizaci zatížení síťové infrastruktury. Tento problém definuji a uvádím několik možných postupů řešení. Ty pak experimentálně otestuji ...