|
|
LaTeX Revision System
Kyselák, Antonín ; Kolář, Dušan (referee) ; Křivka, Zbyněk (advisor)
This study describes the design of an integrated tool in text editor designated for documents written in LaTeX format. It offers the ability of tracking, storing and approving changes in document as a support for team cooperation, when writing a document. Application is designed mainly for operating system Windows. It works with LaTeX distribution MikTeX and the text editor Texmaker.
|
|
|
Formal Language Theory Applied to Computer Security
Regéciová, Dominika ; Kolář, Dušan (referee) ; Meduna, Alexandr (advisor)
Computer security is and will always be a critical area that affects everyone. Despite all the efforts made to build safer systems and test them, however, new vulnerabilities and vulnerabilities are still emerging and creating the impression of tilting at windmills. Partial justification of the current state, but also possible solutions, brings in many respects an extraordinary view of security through formal language theory. Emphasis should be put on a more responsible approach to the recognition and processing of inputs, which are often the gateway to many attacks. In this paper, we will get acquainted with this trend and its recommendations for development and will then introduce a new method of detecting SQL injection attacks built on its foundations.
|
|
|
A System for Monitoring Vehicle Fuel Consumption
Lazárek, Zbyněk ; Kolář, Dušan (referee) ; Burget, Radek (advisor)
The aim of this thesis is to create a system that can detect fuel theft from vehicles. The systemconsists of a hardware device located in the monitored vehicles and information systemthat makes it possible to determine when and where the theft occurred. The thesis describesthe components of the hardware device and individual functionalities of the informationsystem.
|
|
| |
|
|
Compiler of a Language with User-Defined Syntax for New Constructs
Kuklínek, Lukáš ; Křivka, Zbyněk (referee) ; Kolář, Dušan (advisor)
Tato práce si klade za cíl navrhnout a implementovat experimentální programovací jazyk s podporou uživatelsky definovaných syntaktických konstrukcí. Nový jazyk je kompilován do nativní binární podoby a vyžaduje statickou typovou disciplínu v době překladu. Jazyk se skládá ze dvou hlavních komponent. První z nich je minimalistické jádro založené na principech zásobníkově orientovaných jazyků. Druhou částí je mechanismus pro definici nových syntaktických konstrukcí uživatelem. Poté jsou shrnuty poznatky nabyté při návrhu a experimentování s prototypem překladače tohoto jazyka.
|
|
|
Decompilation of Specialized and Advanced Instruction Sets
Holub, Juraj ; Kolář, Dušan (referee) ; Křivka, Zbyněk (advisor)
V dnešnej dobe je proces analýzy nebezpečného softvéru dôležitou súčasťou informačných technológií. Jedna z kľúčových techník je spätný preklad škodlivých binárnych programov. Spätný preklad je komplexný proces, ktorý rieši niekoľko projektov. Projekt RetDec sa zameriava na flexibilný návrh a riešenie spätného prekladača s možnosťou znovupoužiteľnosti. Cieľom tejto práce je zlepšenie spätného prekladu pokročilých inštrukčných sád pre architektúru x86. Bola navrhnutá nová optimalizácia pre FPU registrový zásobník. Bola rozšírená podpora prekladu inštrukčných sád jednotiek FPU a SSE. Nové rozšírenia boli implementované a otestované z hľadiska efektivity a kvality spätného prekladu.
|
|
|
Prolog Compiler for .NET Platform
Haljuk, Petr ; Křivka, Zbyněk (referee) ; Kolář, Dušan (advisor)
This Master's deals with the implementation of the interpreter of logic programming language "Prolog". It summarises the different approaches to evaluation of programs in thislanguage with focus on description of The Warren Abstract Machine. A new way of integratingProlog into The Microsoft .NET platform has been designed as well as its connectionwith object-oriented languages. Subsequently, an interpreter and a compiler based on TheWarren Abstract Machine have been designed and implemented including the connectionto The Microsoft.NET platform.
|
|
|
Web Presentations Content Maintenance Information System
Šulc, Zbyněk ; Kolář, Dušan (referee) ; Hruška, Tomáš (advisor)
The object of this elaborate is a concept for realization of system for web site administration. This system needs to be easy to use for people with no experience in web page program coding. Another side of this software is a possibility to supplement other extensions. The function of this system is assigned to users sorted by groups these users belong to.
|
|
|
Web Administration Interface for Caché
Valena, Pavel ; Kolář, Dušan (referee) ; Burget, Radek (advisor)
The goal of this bachelor’s thesis is to create web administration interface for Caché, where database data is clearly and logically displayed. Enabling user to edit database data, manage users and databases. The thesis describes the design and implementation process of this web interface.
|
|
|
Optimizer for Exam Scheduling at the FIT
Paulík, Miroslav ; Burget, Radek (referee) ; Kolář, Dušan (advisor)
This paper describes automated examination scheduling for the Faculty of Information Technology of Brno University of Technology. It specifies a list of restrictions that must by satisfied. Furthermore, this limitations are classified due to their influence on a quality of the final version of the examination schedule. There are two types of restrictions; soft and hard. The task is to find such a solution that satisfies all hard constraints and breaks the minimum of soft constraints using techniques described in this paper.
|
guest ::
RSS feed.