|
|
Compilation of C++ Applications for Embedded Devices
Nosterský, Milan ; Přikryl, Zdeněk (referee) ; Hruška, Tomáš (advisor)
This master's thesis deals with the integrations of C++ programming language and its standard C++11 into the compiler for embedded systems. This compiler is based on LLVM project and it is generated from Codasip Studio. Codasip Studio is tool for design of the aplication specific processor cores, it is also allows generate compiler, which is based on the description of semantics section in processor's instruction set for any target processor architecture. C++ is programming language based on the C, which is extended by object oriented design and many other features. C++ language allows writing of very effective code on high level of abstraction. Funcionality of implementation is tested on testsuite in last phase of master's thesis.
|
|
|
Debugging Class for php
Kluvánek, Jakub ; Krček, Petr (referee) ; Roupec, Jan (advisor)
The aim of this work is to create a tool that assists in developing and debugging PHP applications. It also provides an overview of how PHP handles errors and exceptions in a standard way. The result of this bachleor thesis is easy to use class that is easily extendable for additional functionality and contains all basic tools useful in development. This functions is nescessary because users should not view some detailed information about the error. Errors may contain sensitive information (especially passwords for the database, table structure,...). I am using this class in several projects and it seems to be very useful.
|
|
|
Programming with Design by Contract Approach on .NET Platform
Bohačiak, Ondrej ; Rychlý, Marek (referee) ; Bartík, Vladimír (advisor)
This paper aims to introduce programming using Design by Contract (DbC) approach, its principles and implementations in different environments. The motivation for the creation of this approach is discussed in the beginning and the DbC metaphor is explained, as well as its application to programming. The description of major elements of the contract in the context of routine interface follows afterwards. The subject matter of this paper is the analysis and comparison of individual programming systems for DbC development with the help of code samples. The benefits of using this approach and its role in the modern development process are evaluated in conclusion.
|
|
|
Statistiky managementu bobra evropského v ČR
Robotka, David
This bachelor thesis addresses the issue of the number of issued exemptions and the subsequent potential harvest of Eurasian beaver (Castor fiber) throughout the Czech Republic. The information obtained from the regional authorities of the Department of Environment and Landscape was used for the solution. The study showed that already in the first years after the adoption of the Beaver Management Programme, exemptions with hunting permits were issued, but their utilisation in the form of the number of individuals hunted was not high. However, due to the continued expansion of the species and the associated increased damage, this number has increased over time. The main finding is that since 2013, up to the time of data collection, a total of 72 hunting exemptions and 7 general measures have been issued. A total of 235 Eurasian beaver have been hunted, but most of them in the Pilsen region. Paradoxically, more individuals were shot in Zone B, where shooting is allowed only on issued exceptions, than in Zone C, where shooting is unrestricted throughout.
|
|
|
Speech of the Tourist Guide
Pecháčková, Veronika ; Palkosková, Olga (advisor) ; Chejnová, Pavla (referee)
This work deals with speech of the tourist guide from the point of view of individual linguistics levels. This topic was chosen because the author of this work studied tourism at secondary school and she has personal experience with the job of tourist guide. Second reason is the fact that this topic has not been described in details yet. Beside the activity of tourist guide and his/her nonverbal communication, this work deals with his/her speech from the point of view of five linguistics levels - phonetic/phonological, morphological, lexical, syntactic and stylistic one. For their analysis four video-records were used. There is real speech of four tourist guides at castles on these videos. The result of this work is the formulation of specific features of speech of the tourist guide. There are several points added to these features. These points are about recommendation for each tourist guide and his/her right and effective speech.
|
|
|
Compilation of C++ Applications for Embedded Devices
Nosterský, Milan ; Přikryl, Zdeněk (referee) ; Hruška, Tomáš (advisor)
This master's thesis deals with the integrations of C++ programming language and its standard C++11 into the compiler for embedded systems. This compiler is based on LLVM project and it is generated from Codasip Studio. Codasip Studio is tool for design of the aplication specific processor cores, it is also allows generate compiler, which is based on the description of semantics section in processor's instruction set for any target processor architecture. C++ is programming language based on the C, which is extended by object oriented design and many other features. C++ language allows writing of very effective code on high level of abstraction. Funcionality of implementation is tested on testsuite in last phase of master's thesis.
|
|
|
Obligatiory confidentiality of medical workers - criminal aspects
Mišľan, Martin ; Sovová, Olga (advisor) ; Císařová, Dagmar (referee)
The aim of this work was to bring the issue of mandatory confidentiality of health workers and the exceptions to this concept in the context of criminal law. In the first part of the thesis is generally defined by the Institute of mandatory confidentiality in health care, sources of legal regulation of this institute and its development in the Czech legal order. The work also deals with medical records and privacy of sensitive data in connection with the obligation of confidentiality of medical professionals. The next section is defined by breaking the confidentiality required the consent of the patient and also cases where the patient's consent to obtain information about his state of health is not required. The work also deals with criminal liability for breach of confidentiality and lists the offenses that can be committed in violation of this obligation. In the conclusion the work presents a brief comparison of the regulation of the Slovak Republic and in the Federal Republic of Germany.
|
|
|
On the semantics of exceptions for high level and low level languages
Tejiščák, Matúš ; Swierstra, Wouter (advisor) ; Kučera, Petr (referee)
The thesis deals with correctness of a compiler of a simple language featuring exceptions. We present formal semantics, both denotational semantics of a~high-level language and operational semantics of a low-level language for a~simple stack machine. We study the method of stack unwinding and then iteratively, improving upon a naive solution, we present a different method that is structurally recursive and thus suitable for implementation in total dependently typed languages. Finally, we provide an implementation of the compiler in the dependently typed functional programming language Agda, along with a mechanically verifiable proof of adherence of the implementation to the semantics.
|
|
|
Speech of the Tourist Guide
Pecháčková, Veronika ; Palkosková, Olga (advisor) ; Chejnová, Pavla (referee)
This work deals with speech of the tourist guide from the point of view of individual linguistics levels. This topic was chosen because the author of this work studied tourism at secondary school and she has personal experience with the job of tourist guide. Second reason is the fact that this topic has not been described in details yet. Beside the activity of tourist guide and his/her nonverbal communication, this work deals with his/her speech from the point of view of five linguistics levels - phonetic/phonological, morphological, lexical, syntactic and stylistic one. For their analysis four video-records were used. There is real speech of four tourist guides at castles on these videos. The result of this work is the formulation of specific features of speech of the tourist guide. There are several points added to these features. These points are about recommendation for each tourist guide and his/her right and effective speech.
|
|
|
Programming with Design by Contract Approach on .NET Platform
Bohačiak, Ondrej ; Rychlý, Marek (referee) ; Bartík, Vladimír (advisor)
This paper aims to introduce programming using Design by Contract (DbC) approach, its principles and implementations in different environments. The motivation for the creation of this approach is discussed in the beginning and the DbC metaphor is explained, as well as its application to programming. The description of major elements of the contract in the context of routine interface follows afterwards. The subject matter of this paper is the analysis and comparison of individual programming systems for DbC development with the help of code samples. The benefits of using this approach and its role in the modern development process are evaluated in conclusion.
|
guest ::
