|
|
Testing Framework for Automatic Tests of MCUXpresso Config Tools
Dubovský, Tomáš ; Strnadel, Josef (referee) ; Crha, Adam (advisor)
The aim of this thesis was to analyze the existing solution of the MCUXpresso Config Tools testing framework, to design and implement various optimization options that will lead to increased testing efficiency. Three ways of optimization have been designed and implemented based on profiling of the existing solution. The first is to unify the launch of external applications under the new module runner. The second is implementing concurrency in Python using multiprocessing, multithreading, and asyncio, then comparing each method and selecting the most appropriate one. The third is the implementation of support for chained entry of commands in commands line interface in MCUXpresso Config Tools.
|
|
|
Twitter Client for Apple TV
Zvara, Marek ; Kočí, Radek (referee) ; Hrubý, Martin (advisor)
This paper describes and analyses the tvOS platform and compares its advantages and disadvantages to the iOS platform. In addition, it offers an overview of the current state of the Twitter API.Based on this knowledge, it provides a description of the design, successful implementation and testing of the application. Twitter client works with basic features such as scrolling the timeline, retweet, like / unlike tweet, or responding to a tweet discussion.
|
|
|
Development of Instrumentation during Compilation
Ševčík, Václav ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
The focus of this master's thesis is on the topic of instrumentation during the compilation process in the LLVM compiler. The tool enables to instrument memory accesses and functions. The instrumentation is realized through adding a novel pass to the LLVM's optimalization phase. Information about variables are managed by the created framework. The framework is linked with the program. The overhead of the instrumentation increases duration of the program by about 14 % in the case of switched off indirect addressing and 23 % in the case of switched on indirect addressing. The main benefit of the work is the possibility of easy instrumentation of the program which can even monitor operation of local variables through indirect addressing) and support multithread programs. The framework is part of Testos's tools where it provides automatic instrumentation in the Spectra tool.
|
|
|
Optimization of KPI Processing
Šulc, Ondřej ; Bartík, Vladimír (referee) ; Hynek, Jiří (advisor)
This thesis deals with the optimization of data processing from IoT sensors of smart cities into the form of key performance indicators (abbr. KPI). KPIs are a mean of monitoring a large amount of data and expressing the status of performance factors affecting the prosperity of the entire city. Data processing in this form is a computationally demanding process, but it consists of a large number of mutually independent calculations. Therefore the goal of this thesis was to perform optimization using parallelization. In parallel processing, calculations can be divided between multiple threads, enabling all available computing resources (CPU cores) to be fully used. This concept was practically implemented in the Smart City project of Logimic company. However, the project is built on the Node.js platform, and when using parallelization there are complications with the use of libraries for object-relational mapping (abbr. ORM). ORM libraries on the Node.js platform are not always ready to work in a parallel environment. This problem is solved by creating a separate instance of the used library for each parallel thread. The thesis focuses on reducing the overhead associated with this and also on the correct distribution of work between parallel threads so that all cores are used equally. The results of this work prove that optimizing IoT data processing using parallelization leads to a significant speedup that conforms to Amdahl's law, as overhead problems can be reduced to a negligible minimum.
|
|
|
Automatic Cryptocurrencies Trading
Vorobiev, Nikolaj ; Hrubý, Martin (referee) ; Rozman, Jaroslav (advisor)
This thesis focuses on the trading in the cryptocurrency market. The theoretical part of the thesis describes the principles of trading, technical analysis, trading systems and recurrent neural networks. After conducting a search of brokers, Binance is chosen as a trading broker and real-time data provider; CryptoDataDownload is chosen as a historical data provider. After getting acquainted with the technologies used, elements of information trading systems are designed, enabling communication with remote servers and with each other, for the purpose of trading, obtaining and concurrent processing of user's, historical or real-time data. The resulting systems should provide to the user manual, semi-automatic (according to the plan) or automatic (according to the decisions of recurrent neural network, learned on historical data) trading and ability to respond to a change in the market. Furthermore, the thesis moves to the practical level, including implementation and experiments on created systems. In the final part of the thesis, the results are evaluated and the possibilities for improvement and expansion are described.
|
|
|
Webový systém pro generování pojistných předpisů v makléřské společnosti
Kubišta, Jakub
The thesis describes the creation of a system for generating insurance invoices sent through billing to individual clients of company Allrisk, a.s. The theoretical part of the document introduces the current concept of the company’s information system and a related existing application. This part of the thesis includes the reasons for creation, used principles and technology selection for the mentioned application. The practical part is about the application design and implementation. The thesis also includes discussion about testing, evaluation of results, management of anticipated risks and potential extensions.
|
|
|
Non-Blocking Input/Output for the k-Wave Toolbox
Kondula, Václav ; Vaverka, Filip (referee) ; Jaroš, Jiří (advisor)
This thesis deals with an implementation of non-blocking I/O interface for the k-Wave project, which is designed for time-domain simulation of ultrasound propagation. Main focus is on large domain simulations that, due to high computing power requirements, must run on supercomputers and produce tens of GB of data in a single simulation step. In this thesis, I have designed and implemented a non-blocking interface for storing data using dedicated threads, which allows to overlap simulation calculations with disk operations in order to speed up the simulation. An acceleration of up to 33% was achieved compared to the current implementation of project k-Wave, which resulted, among other things, also to reduce cost of the simulation.
|
|
|
Development of Instrumentation during Compilation
Ševčík, Václav ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
The focus of this master's thesis is on the topic of instrumentation during the compilation process in the LLVM compiler. The tool enables to instrument memory accesses and functions. The instrumentation is realized through adding a novel pass to the LLVM's optimalization phase. Information about variables are managed by the created framework. The framework is linked with the program. The overhead of the instrumentation increases duration of the program by about 14 % in the case of switched off indirect addressing and 23 % in the case of switched on indirect addressing. The main benefit of the work is the possibility of easy instrumentation of the program which can even monitor operation of local variables through indirect addressing) and support multithread programs. The framework is part of Testos's tools where it provides automatic instrumentation in the Spectra tool.
|
|
|
Grand Central Dispatch Implementation for C++
Šalgovič, Marek ; Peringer, Petr (referee) ; Hrubý, Martin (advisor)
Grand Central Dispatch is a system which allows applications to optimally use multi-core Apple devices. This system is for the most part supported by operating systems of Apple platforms. The goal of this bachelor's thesis was to analyze the system and subsequently design and implement a library in C++. This library provides interface and functionality similar to the existing system.
|
|
|
An Extension of the ANaConDa Tool for Dynamic Analysis of Concurrent Programs
Horňák, Michal ; Křena, Bohuslav (referee) ; Vojnar, Tomáš (advisor)
The main goal of this thesis is to implement algorithm FastTrack for dynamic analysis of multi-threaded programs in C/C++. FastTrack is algorithm which detects data race errors. It is based on happens-before relation encoded into the vector-clocks. Vector-clocks allows extrapolation of the execution which improves detection of potential errors, which were not seen in the actual run of the program however in other executions they could cause problems. Algorithm is implemented into the framework ANaConDA. ANaConDA is a tool for implementation of dynamic analyzers of parallel programs on binary level. It provides neccessary run time program informations for detectors use to discover concurency errors.
|
guest ::
