|
|
Mobile System for Travelling Support
Blatný, Petr ; Zelený, Jan (referee) ; Očenášek, Pavel (advisor)
This master's thesis describes process of design and development of a mobile system for travelling support. Application named TravelHelper is developed for Android operating system therefore is implemented in Java programing language. In thesis's text is described used platform and its primary construction blocks. Main function of application is a journeys' diary, which allows storing activities of a trips. Application also allows backing up and sharing journeys on a social networks. Other functions of the application are searching for interesting places nearby, manager of travel expenses, translator, currency converter, and a packing list.
|
|
|
A Compiler of Language Python Subset
Falhar, Radek ; Křivka, Zbyněk (referee) ; Kolář, Dušan (advisor)
Python is dynamically typed interpreted programming language. Thanks to its dynamic type system, it is difficult to compile it into statically typed source code. The kind of source code, where it is exactly specified what types exist and what their structure is. Multiple approaches exist how to achieve this and one of the primary ones is type inference. This approach is attempting to infer the type structure from the source code. In case of Python language, this approach is difficult, because resulting type system is quite complex and language itself is not designed for type inference. In this work, I have focused on identifying subset of this language, so that type inference is possible while keeping the natural way the language is used. Then I implemented a compiler, which will compile this subset into statically typed language, which can be translated into native code.
|
|
| |
|
|
Translation of x86 Binary Code To a High-Level Language
Jurík, Marián ; Křivka, Zbyněk (referee) ; Kolář, Dušan (advisor)
The purpose of this MSc thesis is to create design and implementation of program for translation of x86 binary code to a high-level programming language. There is described PE file format for executables used in MS Windows operating systems in the first part of work. This document contains general information about instruction set IA-32, especially a way of decoding binary code to assembly language. There are described typical program constructions, which are being used in compilers. Design of creation high-level programming language was inspired by existing programming languages. Conclusion is made about advantages and disadvantages of approach used in this thesis.
|
|
|
Language of Higher Level of Abstraction for Programming Mobile Intelligent Agents
Kalmár, Róbert ; Horáček, Jan (referee) ; Zbořil, František (advisor)
The aim of this work is to design a language of higher level of abstraction for programming mobile intelligent agents and implement a compiler for this language. There will also be presented the ANTLR tool for generating syntax and lexical analyzers. The reader will become familiar with theoretical and practical aspects of implementation of the compiler and also with programming in this language. There will be shown the environment for programming in this language and some examples of agent codes at the end.
|
|
|
Lexical Analyzer for Multiprocesor Computers
Otáhal, Jiří ; Goldefus, Filip (referee) ; Čermák, Martin (advisor)
Aim of this thesis is to invent method, which should accelerate speed of the analysis of source texts with multiprocessor computers. For this purpose application runs multiple process in Unix system. Each undergoing process analyzes exact partition in source file and then closes itself. Outcome of this process are internal structures, which presents exact partition. Inter-code is sequentially built from the structures which are subsequently interpreted. This kind of parallel analysis achieves acceleration of speed on the contrary of typical sequential analysis.
|
|
| |
|
|
Virtual Platforms for Instruction Set Simulation
Ministr, Martin ; Přikryl, Zdeněk (referee) ; Masařík, Karel (advisor)
This master's thesis deals with creation of generators of the code for existing virtual platforms QEMU and OVP. This work consist of study of techniques, which are used by virtual machines for their work. Main part of this work is the design of process, which transforms input instruction sets to the code used by these virtual platforms. As the result of this work functional programs, which generate the code for these virtual platforms, was created.
|
|
|
Compiler of State Diagram Language to CHILL Language
Goldmannová, Zuzana ; Matoušek, Petr (referee) ; Ryšavý, Ondřej (advisor)
This thesis deals with the grammar of an existing proprietary state diagram language, which is used to simulate state diagrams employed in telephone exchanges. The goal of this work is to analyze the grammar and existing compiler of this language to CHILL language and also to design and implement a new compiler. This new compiler will be easier to manage and will eliminate errors and imperfections of the current arrangement. Finally this compiler is tested using existing files, that were formerly created for the current compiler, and also using files I created for testing purposes.
|
|
|
Bridge type of track shifter
Jílek, Roman ; Fiedler, Petr (referee) ; Štohl, Radek (advisor)
The aim of this Master's thesis is characterization Programmable Logic Controllers, description of Industrial interface – AS-Interface, assembling electronic components at construction of model of bridge type track shifter and programming model. First part is focused to Programmable Logic Controllers their qualities, characterization and separation and describing AS-Interface and its components. Second part is describing equipment and locations of equipment. Third part is about software. Fourth part is describing programming. Next part is about visualization and last part contains instructions for laboratory work.
|
guest ::
