| |
|
Application for Zigbee Device Configuration
Brož, Kamil ; Morávek, Patrik (referee) ; Šimek, Milan (advisor)
The diploma thesis includes the ZigBee networks and compares them with other PAN IEEE 802.15.4 networks. It describes the formation of ZigBee networks. It describes physical, MAC, network and application layer in the form of Bitcloud. Thesis includes practical implementation in the form of ZigBee application BeeCon which allows set network parameters on Iris modules.
|
|
Memory Testing on SGI/MIPS Architecture
Rydlo, Karol ; Jaroš, Jiří (referee) ; Kašpárek, Tomáš (advisor)
Work is engaged in making solution for creating own memory tests on graphical station SGI O2. This thesis produces work on MIPS processor architecture and it try to find the ideal environments for testing memory and with it is nearly related looking for chances of start and compile application for SGI O2. Part of my thesis is also target using cross-compilers, for effective and useful work with program for other architecture.
|
|
Development board with 32-bit ARM-based processor
Pokorný, Vladimír ; Fedra, Zbyněk (referee) ; Frýza, Tomáš (advisor)
The aim of my bachelor's thesis is creation of development module with 32 bit procesor ARM. At first, it made a brief description of the history of the development of the processor and its internal structure. Then briefly described the chosen processor Atmel AT91SAM7SE512. The next section presents freely available development tools. In the following section is made a proposal of the development module. Finally, in accordance with this proposal the board was produced, revived and tested using the standard program written in a development environment Eclipse.
|
| |
| |
|
Program Instrumentation Enabling Coverage Measurement
Václavík, Jan ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
This thesis deals with the design and the implementation of the Ginstrum tool for compile time instrumentation of C programs. The tool is implemented as a GCC Plugin and instruments places in program that access memory, write to memory or call functions. The tool also provides compile information that can be used for the code coverage measurement during testing and dynamic analysis.
|
|
GIMPLE Model Checker
Krč-Jediný, Ondrej ; Šerý, Ondřej (advisor) ; Hauzar, David (referee)
Title: GIMPLE Model Checker Author: Ondrej Krč-Jediný Department: Department of Distributed and Dependable Systems Supervisor: RNDr. Ondřej Šerý Ph.D. Supervisor's e-mail address: Ondrej.Sery@mff.cuni.cz The goal of the thesis is a prototype implementation of explicit-state model checker of C - an advanced tool for finding errors in programs. This tool ex- plores all possible paths of program execution as well as all thread interleavings. It is based on GIMPLE - output of front-end of GCC compiler, which is the input language for GMC. The thesis is based on the previous work 'Memory represen- tation for GIMPLE Model Checker', that implements work with memory for this tool. Since it is based on GIMPLE, it makes it possible to verify systems directly in C. In addition, it is easily extensible to other languages supported by GCC. Keywords: model checking, GIMPLE, GCC, C 1
|
| |
|
Vliv cen ropy na ekonomiky států Perského zálivu
Kubinec, Kryštof
Kubinec K., Influence of oil prices on the economies of the Persian Gulf states. Bache-lor thesis. Brno: Mendel University in Brno, Faculty of Business Economics. The main aim of the thesis is to study the influence of oil prices on the economies of the Gulf states through the main economic indicators. For this is used regres-sion analysis. The last part of the thesis is devoted to the declining revenues from crude-oil production of these states and the measures taken by the Gulf states against these trends.
|