Browsing Fakulta informačních technologií by Author "Tvrdík Pavel"
Now showing items 1-20 of 28
-
3D lokalizace bezdrátových modulů v reálném čase
Author: Kubišta Adam; Supervisor: Moucha Alexandru; Opponent: 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
Author: Henrich Le; Supervisor: Ciochoň Petr; Opponent: 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 ... -
Architektura překrývajících se nededikovaných svazků počítačů
Author: Šťava Martin; Supervisor: Tvrdík Pavel
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-02-15) -
C++ knihovna pro tvorbu her a intermediálních aplikací
Author: Vesecký Adam; Supervisor: Půlpitel Martin; Opponent: 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., 2016-05-10)Tato práce se zabývá obecnou problematikou spojenou s programováním počítačových her a herních enginů. Výhody komponentově orientovaného přístupu, umožňujícího jednoduché přidávání nových funkcionalit, demonstruje vlastní ... -
Certifikované algoritmy pro hledání minimální kostry
Author: Tomáš Homola; Supervisor: Knop Dušan; Opponent: 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, ... -
Desktopová aplikace Logik
Author: Kirill Rybakov; Supervisor: Tvrdík Pavel; Opponent: Pauš Petr
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-15)Cilem této práce je vývoj desktopové aplikačni hry "Mastermind" (také označované jako "Logic") pro Windows a Linux. Výsledný program má vylepšit stávajici implementace hry, umožňuje výběr barev z předdefinované palety a ... -
Distribuovaný systém pro spouštění a zpracování výpočtů
Author: Jan Mašek; Supervisor: Bartoň Tomáš; Opponent: 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
Author: Matúš Ferech; Supervisor: Tvrdík Pavel; Opponent: 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é ... -
Efektivní testování simulačních výpočtů na Belle II Grid Infrastructure
Author: Ludačka Radek; Supervisor: Tvrdík Pavel; Opponent: Šoch Michal
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-16) -
Implementace BitTorrent discovery protokolu do Clondike
Author: Tvrdík Pavel; Supervisor: Gattermayer Josef; Opponent: Tvrdík Pavel
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27) -
Implementace procesu obhajoby dizertační práce v BPM
Author: Ubr Jakub; Supervisor: Tvrdík Pavel; Opponent: Jiřina Marcel
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-18)Tato práce se zabývá popisem notace BPMN a analýzou, modelováním, implementací a testováním procesu obhajoby dizertační práce na FIT ČVUT. Proces je implementován na platformě IBM Business Process Manager.. -
Metody symplektické ortogonalizace a redukce mřížek
Author: Bočan Peter; Supervisor: Petr Ivo; Opponent: 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
Author: Trefný Vojtěch; Supervisor: Podzimek Vratislav; Opponent: Tvrdík Pavel
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27) -
Optimalizace webového informačního systému pro vyšší zátěž a dostupnost
Author: Venuš Martin; Supervisor: Tvrdík Pavel; Opponent: Kašpar Jiří
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-02-07) -
Optimalizace webového serveru pro výkonové zatížení
Author: Staniek Štěpán; Supervisor: Štěpán Pavel; Opponent: 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
Author: Matěj Šprysl; Supervisor: Šimeček Ivan; Opponent: 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í, ... -
Prostředí pro distribuované výpočty
Author: Činčura Adam; Supervisor: Kordík Pavel; Opponent: Tvrdík Pavel
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-02-12) -
Simulátor síťových systémů řízený textovými příkazy
Author: Ďurčík Jakub; Supervisor: Herout Tomáš; Opponent: 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 ... -
Směrování v Mobiových krychlích
Author: Kocík David; Supervisor: Tvrdík Pavel; Opponent: Šoch Michal
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-07-01)Möbius cube je zajímavou topologií, která vznikla z topologie hypercube. Největší výhoda oproti hypercube je v přibližně polovičním průměru Möbius cube. V této práci je popsán algoritmus nejkratšího routování a jsou popsány ... -
Správa důvěryhodnosti v bezdrátových ad hoc sítích
Author: Yelena Trofimova; Supervisor: Tvrdík Pavel; Opponent: Vozňák Miroslav
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-08-31)Tato disertacni prace se zabyva problematikou duveryhodnosti v bezdratovych ad hoc sitich. Takoveto site jsou zranitelne zejmena kvuli absenci centralni spravy identit uzlu a pevne infrastruktury. Duvera v oblasti bezdratove ...