|
|
Machine Learning for Formal Language Model Inference
Bardonek, Petr ; Kocman, Radim (referee) ; Křivka, Zbyněk (advisor)
This bachelor thesis deals with the formal language model inference, which is a science discipline on the research field of artificial intelligence. The aim is to create an appliaction that allows the automatic inference of model, such as the finite state machine, for an unknown formal language from the set of the strings of the unknown formal language using the modified machine learning method.
|
|
|
Source Code Metrics for Quality in Java
Sherstobitov, Vladyslav ; Dvořák, Tomáš (referee) ; Křivka, Zbyněk (advisor)
Pro kontrolu a zlepšovaní kvality zdrojového kódu musí být zaveden systém, který se skládá z kvantitativních metrik a jejich analýzy. S použitím metrik kvality softwaru, které reprezentují, jak dobře je zdrojový kód napsán, lze hodnotit zdrojový kód. Na základě tohoto hodnocení může kód splňovat nebo nesplňovat stanovená kritéria, která mohou být použita pro mnohá účely. Daný výzkum prezentuje program vyvinutý na základě identifikovaných vlastností kódu a souvisejících metrik, metod používaných při tvorbě programu a výsledků testů založených na projektech s otevřeným zdrojovým kódem.
|
|
|
Traceability of Optimized Generated Code
Gavenda, Daniel ; Rychlý, Marek (referee) ; Křivka, Zbyněk (advisor)
The goal is to create an application that analyzes the optimizations applied during the translation of an input model into the corresponding generated code. This analysis will be provided to developers in order to show sources of potential automated review failures. In this case, the analysis reports should serve as a guide to a model designer to transform the model to avoid problematic optimizations.
|
|
|
Information System for Management of Company Employees
Sklenář, Pavel ; Křivka, Zbyněk (referee) ; Bartík, Vladimír (advisor)
Purpose of this thesis is to help companies in terms of managing their own employees including analysis of employees shifts using OLAP, thanks to OLAP analysis companies can find out for example total delays on employees shifts. Information system is created as a web application implemented in PHP using the Laravel framework with MySQL database. Information system functionalities are: employees management, including management of employees attendances, Google Drive management, generating various files in PDF format, viewing various statistics, employees ratings, shifts management, vacations management, diseases management, employees languages management, reports management, injuries management.
|
|
|
PicoBlaze Simulator and Debugger
Vampola, Pavel ; Křivka, Zbyněk (referee) ; Vašíček, Zdeněk (advisor)
This thesis describes processor PicoBlaze and his possibilities of simulation and debugging. Structure, intruction set and existing developing tools of the processor will be presented to the reader. The thesis describes design and implementation of plugin for QDevKit, which allows simulating and stepping the procesor on personal computer or FITkit.
|
|
|
Demonstration Program of LL Table Construction
Choleva, Ondřej ; Křivka, Zbyněk (referee) ; Zámečníková, Eva (advisor)
This work deals with desing and subsequent implementation of educational application for construction of LL table on given grammar basis. This table is used by predictive LL parser. A part of this application is also a demonstration of parsing using table driven parser. Application off ers possibility of stepping of all partial algorithms and their visualization in a graphical user interface. By development of application the request for portability was satisfied by choosing an appropriate multiplatform library.
|
|
|
LaTeX and Microsoft Power Point Presentations Convertor
Černý, Lukáš ; Čermák, Martin (referee) ; Křivka, Zbyněk (advisor)
This work deals with theoretical and practical basis for the creation of converter between LaTeX and Microsoft PowerPoint presentations. It discusses the use of LaTeX and the Beamer class for presentations, programmatic creation of PowerPoint documents using PowerPoint Primary Interop Assemblies and PresentationML. It outlines the use of the scanners and parsers generators GPLEX and GPPG respectively. It deals with the characteristics of today's tools for document conversion. And finally deals with the particular pitfalls of the design, implementation and testing of the application for conversion of documents between LaTeX platform and Microsoft PowerPoint.
|
|
|
Fast Queries over Java Language Metadata
Faltýn, Vladimír ; Kolář, Dušan (referee) ; Křivka, Zbyněk (advisor)
The goal of this bachelor thesis is to design and implement a query language over metadata of Java source programs . The metadata is obtained by Procyon decompiler and stored in Titan graph database . To access Titan, TinkerPop framework is used . Then , the designed query language is used to acces the data in the database . The parser for the query language is generated using ANTLR tool .
|
|
|
Java Bytecode Disassembler
Hřibal, Jaromír ; Kučera, Jiří (referee) ; Křivka, Zbyněk (advisor)
The first part of this thesis studies the fundamental principles of Java Virtual Machine and presents in depth look at its instruction set and . class file format, both together well known as bytecode . The next part presents an overview of the existing tools for bytecode manipulation . The last part of this work describes the development of a new plugin for Eclipse IDE . This plugin allows the user to get more comfortable view of the given bytecode and to see the original source code from which the bytecode was generated . The plugin requires the source code to be accessible so it is not a typical decompilation tool .
|
|
|
A Container for Migratating Software Components Running on Android OS
Ščešňák, Vladimír ; Křivka, Zbyněk (referee) ; Rychlý, Marek (advisor)
This diploma thesis deals with creating a container for the migration components that are used on the Android operating system, how they operate and distribute, the life cycle of the container, and the ability to customize other components for this container. The work deals with the analysis of the Android operating system, existing solutions, the design of the own container and the way of distributing the components on the devices where the container is used. The next section describes the implementation of the server component that distributes components. It also deals with the implementation of container-containing library and a sample application that illustrates how it is possible to link all these elements together.
|
guest ::
