|
|
Virtuální stroj Petriho sítí
Lapšanský, Tomáš ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Bakalárska práca formálne definuje pojem Objektovo orientované Petriho siete. Práca ďalej navrhuje koncept prekladača a virtuálneho stroja pre Objektovo orientované Petriho siete s využitím jazyk PNTalk. Popisuje implementáciu virtuálneho stroja a prekladača.
|
|
|
Porovnání výkonnosti virtuálního stroje CACAO s HotSpot JVM
Malík, Nikolaj ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Cílem této práce je představit platformu Java a dva vybrané zástupce implementací virtuálních strojů (JVM). V první řadě bude představen rozšířený virtuální stroj JVM HotSpot, v druhé řadě jedna z alternativních variant, JVM CACAO. Práce popisuje vybrané prvky implementace obou strojů, kde uvedené informace jsou vhodné pro všechny, kdo se zabývají optimalizacemi běhu programů. Závěrečná část prezentuje výsledky porovnání vybraných oblastí výše zmíněných strojů z hlediska paměťové a časové náročnosti.
|
|
|
Virtuální stroj Javy JamVM na architektuře ARM
Pobořil, Filip ; Smrčka, Aleš (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce popisuje a srovnává dva virtuální stroje Javy na architektuře ARM, jmenovitě JamVM a HotSpot na Raspberry Pi. V první části práce obecně popisuje Javu a princip virtuálního stroje. Další část se podrobněji zaměřuje na oba virtuální stroje a jsou v ní popsány jejich vlastnosti a způsob interpretace. V poslední části je popsána webová aplikace, která byla použita ke srovnávání virtuálních strojů, a vyhodnocení výsledků.
|
|
|
Visual Programming Backend for a Mobile Robot
Staněk, Ondřej ; Obdržálek, David (vedoucí práce) ; Bednárek, David (oponent)
Název práce: Podpora vizuálního programování mobilního robota Autor: Bc. Ondřej Staněk Katedra: Katedra softwarového inženýrství Vedoucí diplomové práce: RNDr. David Obdržálek, Ph.D. e-mail vedoucího: David.Obdrzalek@mff.cuni.cz Abstrakt: V této práci se autor zabývá návrhem a implementací řešení pro programování malých mobilních robotů pomocí vizuálních programovacích prostředků. Součástí práce je výběr vhodného front-endu pro vizuální programování i vytvoření back-end vrstvy umožňující běh programu v mobilním robotovi. Pro vykonávání kódu je vytvořen virtuální stroj, který běží v rámci původního firmware robota na 8-bitovém mikrokontroleru s omezenými prostředky. Vrstva generátoru kódu překládá vizuální reprezentaci programu do sekvence instrukcí bajtkódu, jež je následně interpretována v mobilním robotovi. Řešení podporuje typické rysy procedurálních programovacích jazyků, zejména: proměnné, výrazy, podmíněné příkazy, cykly, statická pole, funkční volání a rekurzi. Důraz je kladen na robustnost implementace. K ověření a udržení kvality kódu jsou použity metody automatického testování. Klíčová slova: vizuální programovací jazyk, virtuální stroj, mobilní robot, Blockly Powered by TCPDF (www.tcpdf.org)
|
|
|
Testování stability a bezpečnosti počítačové sítě v oblasti cloud computingu
Efimov, Igor ; Havránek, Martin (vedoucí práce) ; Ladislav, Ladislav (oponent)
Má diplomová práce je zaměřěna na vytvoření a automatizaci vlastní metodiky pro testování bezpečnosti a stability Cloudu. Cílem je zjistit jak odolné je virtualizované prostředí vuci různorodým útokům na bezpečnost a stabilitu sítě. V teoretické části práce bude navržena metodika pro testování cloudu. Metody budou vycházet jak z odborných publikací, zabývajících se problematikou zabezpečení, tak také z odborného online zdroje zaměřeného na bezpečnost virtualizace. V praktické části budou testy automatizované a spuštěné ve virtualním prostředí.
|
|
|
Virtualizační nástroje v teorii a praxi
Vodrážka, Darek ; Halbich, Čestmír (vedoucí práce) ; Vostrovský, Václav (oponent)
Bakalářská práce se zabývá problematikou virtualizace, přičemž řeší důvody a výhody jejího využívání, společně s představením typů, metod a produktů pro virtualizaci. Především se věnuje dvěma z hlavních technologických zástupců serverových virtualizačních nástrojů -- Microsoft Hyper-V, který je součástí Microsoft Windows Server 2012 R2, a VMware vSphere. Dále se zabývá praktickým nasazením a správou Hyper-V, s důrazem na představení klíčových funkcí a vlastností v kontextu modelové firmy.
|
|
|
Virtualizační nástroje v teorii a praxi
Kotalík, Jiří ; Halbich, Čestmír (vedoucí práce) ; Vostrovský, Václav (oponent)
Bakalářská práce se zaměřuje na virtualizační technologie současnosti. Shrnuje přínos a možné úspory plynoucí z nasazení virtualizačních technologií. Z teoretického hlediska práce popisuje základní přístupy k virtualizaci a z praktického hlediska ukazuje použití virtualizačních nástrojů na modelovém podniku. V práci jsou průběžně srovnávány virtualizační nástroje od společností Microsoft a VMware.
|
|
|
Systém pro správu virtuálních strojů
Skála, Milan ; Zachariášová, Marcela (oponent) ; Dolíhal, Luděk (vedoucí práce)
Tato práce se zabývá vytvořením návrhu a implementací aplikace pro vzdálenou správu virtuálních strojů, která bude umožňovat tuto správu automatizovat. Jsou zde popsány důvody zavádění virtualizace ve firmách a korporacích, různé metody virtualizace včetně jejich zhodnocení z praktického hlediska. Dále jsou rozebrány existující řešení virtualizace, která jsou celosvětově rozšířená. V praktické části je proveden návrh a implementace aplikace, pomocí níž bude možné vzdáleně ovládat virtuální stroje. Na závěr jsou zhodnoceny možnosti dalšího rozšíření aplikace.
|
|
|
Aplikační rozhraní pro administraci projektu Libvirt
Škultéty, Erik ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
This thesis addresses the virtualization topic, more specifically, it deals with libvirt virtualization management library, the goal of which is to provide a common and stable layer to manage virtual machines that deals with all the hypervisor or virtualization solution specifics transparently to the user. Most of the functionality exposed by libvirt is implemented in form of services within a daemon called libvirtd. One of the main reasons why libvirt utilizes a daemon is to provide a remote management of virtual machines running on hypervisors which do not support remote management. However, the daemon lacks support for managing itself during runtime. Although its configuration can be altered via a configuration file, the configuration is persistent only. Additionally, each time the configuration is changed this way, the daemon needs to be restarted, which might not always be the optimal solution. Therefore, an idea of exposing an administration interface through libvirt library which would provide users with libvirtd's runtime management arose. The main goal of this thesis is to design and implement a set of administration application interfaces which would provide features including adjustment of number of workers in a server's threadpool, modifying logging levels, filters, and logging outputs, as well as remote client management.
|
|
|
Monitoring aplikací běžících v JVM pomocí JVM Tool Interface
Vomáčka, Pavel ; Dudka, Vendula (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce se zabývá návrhem a tvorbou agenta pro sledování běžící Java aplikace. Monitoruje obsazení zásobníku a haldy se zaměřením na lokalizaci alokace objektů. Zabývá se také vytvořením grafického uživatelského rozhraní pro zobrazení získaných informací. Je zde také popsáno použité rozhraní JVM TI a způsob práce s ním. Dále práce rozebírá virtuální stroj Javy a popisuje jeho důležité části s hlavním zaměřením na správu paměti.
|
host ::
RSS.