|
|
Revizní systém pro LaTeX
Kyselák, Antonín ; Kolář, Dušan (oponent) ; Křivka, Zbyněk (vedoucí práce)
Práce se zabývá návrhem integrovaného nástroje textového editoru pro dokumenty systému LaTeX, který umožňuje sledování, zaznamenávání a schvalování změn v dokumentech jako podporu pro týmovou spolupráci při psaní dokumentů. Aplikace je určena především pro operační systém Windows, pracuje s LaTeXovou distribucí MikTeX a textovým editorem Texmaker.
|
|
|
Aplikace teorie formálních jazyků v oblasti počítačové bezpečnosti
Regéciová, Dominika ; Kolář, Dušan (oponent) ; Meduna, Alexandr (vedoucí práce)
Počítačová bezpečnost je a vždy bude kritickou oblastí, která ovlivňuje každého z nás. Přes veškeré úsilí vynaložené na tvorbu bezpečnějších systémů a jejich testování se však stále objevují nové chyby a zranitelnosti budící dojem boje s větrnými mlýny. Částečné odůvodnění současného stavu, ale i možná řešení, přináší v mnoha ohledech výjimečný pohled na bezpečnost skrze teorií formálních jazyků. Důraz by podle něj měl být kladen především na odpovědnější přístup k rozpoznávání a zpracování vstupů, které jsou často vstupní branou mnoha útokům. V této práci se blíže seznámíme s tímto směrem a jeho doporučeními pro vývoj a následně si představíme novou metodu detekce SQL injection útoků postavené na jeho základech.
|
|
|
Systém pro monitorování spotřeby vozidel
Lazárek, Zbyněk ; Kolář, Dušan (oponent) ; Burget, Radek (vedoucí práce)
Cílem této práce je vytvořit systém, který dokáže detekovat krádeže pohonných hmot z vozidel.Systém se sestává z hardwarového zařízení umístěného ve sledovaných vozidlech a informačníhosystému, díky kterému je možné zjistit, kdy a kde ke krádeži došlo. Práce popisujejednotlivé komponenty hardwarového zařízení a jednotlivé funkcionality informačníhosystému.
|
|
| |
|
|
Compiler of a Language with User-Defined Syntax for New Constructs
Kuklínek, Lukáš ; Křivka, Zbyněk (oponent) ; Kolář, Dušan (vedoucí práce)
This project aims to design and implement an experimental programming language. The main feature of the language shall be the ability of the user to define new syntactic constructs. The language shall be statically typed and compiled to a native binary form. The language consists of two parts. The first part is a minimalistic core based on the principles of stack-oriented languages. The second part is a mechanism that lets users define new syntactic constructs. Then we elaborate on findings that have risen from design and experiments performed with the prototype implementation of the language.
|
|
|
Decompilation of Specialized and Advanced Instruction Sets
Holub, Juraj ; Kolář, Dušan (oponent) ; Křivka, Zbyněk (vedoucí práce)
Nowadays, the process of analyzing malicious software is an important part of information technologies. One of the crucial techniques is decompilation of malicious binary programs. The decompilation is a complex process, and there are multiple projects with such a goal. The project RetDec aims to develop retargetable and flexible decompiler. The goal of this research is to improve the decompilation of advanced instruction sets for architecture x86. The new optimization for FPU register stack manipulation is designed, and the support of FPU and SSE instruction set translation is extended. The new extensions are implemented and tested in the manner of decompilation efficiency and quality.
|
|
|
Překladač jazyka Prolog pro .NET
Haljuk, Petr ; Křivka, Zbyněk (oponent) ; Kolář, Dušan (vedoucí práce)
Náplní této diplomové práce je implementace interpretu logického programovacího jazyka Prolog. Práce shrnuje různé přístupy vyhodnocování programů v tomto jazyce, nejvíceprostoru je věnováno popisu Warrenova abstraktního stroje. V práci je navržen způsobzačlenení Prologu do platformy Microsoft .NET a jeho propojení s objektovými jazykyna této platformě. Následně je navržen a implementován interpret a překladač vycházejícíz Warrenova abstraktního stroje včetně propojení s .NET.
|
|
|
Informační systém pro správu obsahu webových prezentací
Šulc, Zbyněk ; Kolář, Dušan (oponent) ; Hruška, Tomáš (vedoucí práce)
Předmětem práce je návrh a realizace systému pro správu obsahu webové prezentace. Tento systém má umožnit vytvoření a správu webové prezentace osobám, které nemají zkušenosti s technologiemi pro tvorbu webové prezentace. Systém dále umožňuje snadné přidávání komponent rozšiřující počet implementovaných funkci. Tyto funkce pak mohou přidělovány na základě uživatelských skupin.
|
|
| |
|
|
Optimalizátor rozvrhu zkoušek na FIT
Paulík, Miroslav ; Burget, Radek (oponent) ; Kolář, Dušan (vedoucí práce)
Tématem této práce je automatizovaná tvorba rozvrhu zkoušek pro Fakultu informačních technologií Vysokého učení technického v Brně. Je zde popsán seznam požadavků (omezení), na které je nutné brát při návrhu rozvrhu ohled. Tyto omezení jsou dále klasifikována podle míry vlivu na kvalitu rozvrhu na nutné a volitelné. Problém plánování zkoušek je zde dekomponován na dílčí podproblémy a dále řešen pomocí Contraint logic programming. Výsledkem je množina řešení splňující všechna nutná omezení. Z nich je nakonec vybráno takové suboptimální řešení, které nejméně porušuje zbývající škálovatelná omezení.
|
host ::
RSS.