|
|
Petri Nets Virtual Machine
Lapšanský, Tomáš ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This bachelor thesis formally defines the Object Oriented Petri Nets. Then it designs concept of compilator and virtual machine for Object Oriented Petri Nets using PNTalk language. It uses PNTalk language. It describes implementation of virtual machine and compiler.
|
|
|
A Comparison of CACAO Virtual Machine and HotSpot JVM
Malík, Nikolaj ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The aim of this thesis is introduction of Java platform and two chosen representants of Java Virtual Machine (JVM) implementations. At first JVM HotSpot as widespread one and on the other side JVM CACAO as an alternative option. This thesis describes implementation of chosen areas of both machines. It provides useful information for everybody who deals with runtime program optimalization. Final part presents benchmark results of the match between abovementioned machines by memory and time complexity.
|
|
|
JamVM Virtual Machine on the ARM Architecture
Pobořil, Filip ; Smrčka, Aleš (referee) ; Kočí, Radek (advisor)
This thesis describes and compares two Java virtual machines on the ARM architecture, namely JamVM and HotSpot on Raspberry Pi. First part of this thesis describes Java and virtual machine principle. Next part focuses on both virtual machines, describes their features and methods of interpretation. Last part describes web application, which was used to compare both virtual machines, and evaluation of results.
|
|
|
Visual Programming Backend for a Mobile Robot
Staněk, Ondřej ; Obdržálek, David (advisor) ; Bednárek, David (referee)
Title: Visual Programming Backend for a Mobile Robot Author: Bc. Ondřej Staněk Department: The Department of Software Engineering Supervisor: RNDr. David Obdržálek, Ph.D. Supervisor's e-mail address: David.Obdrzalek@mff.cuni.cz Abstract: In this work, the author designs and implements a solution for programming small mobile robots using a visual programming language. A suitable visual programming front-end is selected and back-end layers are created that allow execution of the program in a mobile robot. The author designs and implements a virtual machine that runs alongside the original robot firmware on an 8-bit microcontroller with limited resources. A code generator layer compiles the visual representation of the program into a sequence of bytecode instructions that is interpreted on board of the mobile robot. The solution supports typical features of procedural programming languages, in particular: variables, expressions, conditional statements, loops, static arrays, function calls and recursion. The emphasis is put on robustness of the implementation. To verify and maintain code quality, methods of automated software testing are used. Keywords: visual programming language, virtual machine, mobile robot, Blockly Powered by TCPDF (www.tcpdf.org)
|
|
|
Security and stability networking testing in cloud computing
Efimov, Igor ; Havránek, Martin (advisor) ; Ladislav, Ladislav (referee)
The purpose of this dissertation work involves creation and automation of my own cloud security and stability testing techniques.
The basis of this project is to explore and outline the virtual environment protection level in front of different types of security and stability networking attacks.
Theoretical part of this paper consists of concepts and, together with their definitions and reference to relevant research literature, science related publications and online sources that best describes testing methodology of cloud computing, focused on security and virtualization.
The practical part of the thesis demonstrate an understanding of theories and concepts that been studied. Based on the obtained research results, have been developed various
automation tests that are going to be run on virtual environment in order to test their stability.
|
|
|
Virtualisation tools in theory and practice
Vodrážka, Darek ; Halbich, Čestmír (advisor) ; Vostrovský, Václav (referee)
Bachelor thesis is dedicated to virtualization problematic in which solves reasons and advantages of using it alongside with introducing types, methods and virtualization products. It presents two of the main representatives of server virtualization tools -- Microsoft Hyper-V which is part of Microsoft Windows Server 2012 R2 and VMware vSphere. It is focused on practical use and administration of Hyper-V with emphasis on presenting main functions and features in context of model company.
|
|
|
Virtualisation tools in theory and practice
Kotalík, Jiří ; Halbich, Čestmír (advisor) ; Vostrovský, Václav (referee)
Bachelor thesis is focused on virtualization technologies nowadays. Thesis summarizes contribution and posible savings resulting from deploying virtualization technologies. Theoretical part of thesis describes basic approaches to virtualization and practical part shows the usage of Virtualization tools in model company. Thesis continously compares Virtualization tools from Microsoft and VMware.
|
|
|
Virtual Machine Management System
Skála, Milan ; Zachariášová, Marcela (referee) ; Dolíhal, Luděk (advisor)
This thesis focuses on design and implementation of the application for remote management of virtual machines that will be able to manage the virtual machines automatically. It describes a motivation for deployment of virtualization technology in companies and corporations, various virtualization methods altogether with their assessment from the practical point of view. The existing, globally widespread solutions, are also analyzes in the thesis. The application, which will be able to remotely control virtual machines, is designed and implemented in the practical part of this thesis. The final part describes possibilities of further extensions of the application.
|
|
|
Libvirt Admintration API
Škultéty, Erik ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
Tato práce se zabývá problematikou virtualizace, konkrétně virtualizační knihovnou libvirt, cílem které je správa virtuálních strojů a podpora různých typů hypervizorů a virtualizačních řešení jednotným způsobem transparentním pro uživatele. Podstatná část funkcionality knihovny libvirt je na pozadí implementována formou démona libvirtd. Ačkoliv libvirtd démon poskytuje služby pro správu virtuálních strojů, neumožňuje správu sebe samého, kromě změn hodnot parametrů v konfiguračním souboru. Pro změnu nastavení je pak standardním přístupem změna v konfiguračním souboru a následný restart démona. Jelikož uvedený způsob mění pouze perzistentní konfiguraci a restart démona nemusí být vždy optimální řešení, vznikla idea administrativního rozhraní knihovny libvirt, které by umožnilo správu démona za běhu. Hlavním přínosem této práce je návrh a popis implementace aplikačního rozhraní pro administraci knihovny libvirt. Konkrétně pro tuto práci byla zvolena rozhraní pro konfiguraci počtu obslužných vláken, nastavení úrovně a filtrovacích parametrů pro žurnálovací podsystém a správu připojených klientů na straně démona libvirtd.
|
|
|
Java Applications Monitoring Using JVM Tool Interface
Vomáčka, Pavel ; Dudka, Vendula (referee) ; Kočí, Radek (advisor)
This thesis deals with the design and implementation of an agent with a purpose to watch over the stack and over the heap with focus on localization of object allocation. This information is then shown in graphic user interface. A JVM TI interface is also described. Later parts of the thesis discuss the Java Virtual Machine and its important components with special attention to its memory management.
|
guest ::
