Prohlížení Bakalářské práce - 18104 dle autora "Tvrdík Pavel"
-
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, ... -
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 ...