National Repository of Grey Literature 159 records found  beginprevious82 - 91nextend  jump to record: Search took 0.00 seconds. 
Compiler from Scheme to C/C++
Novák, Jan ; Yaghob, Jakub (advisor) ; Bednárek, David (referee)
Scheme is a simple language which is well suited for analyzing various constructs of programming languages and experiments with code optimization. To implement this language we use an intermediate code called continuation-passing-style, which is widely used in implementations of functional languages. We present its relation to conventional implementations which use stack to control the program. Then we describe simple methods of global static analysis of the language. Analyses are based on abstract interpretation which uses abstract garbage collector. It allows many optimizations such as variable globalization, variable renaming and elimination of unused assignments. Powered by TCPDF (www.tcpdf.org)
A SQL front-end for the Bobox system
Klimperová, Lucie ; Bednárek, David (advisor) ; Lokoč, Jakub (referee)
The goal of this thesis is to design and implement a SQL frontend for Bobox framework which is being developed by Department of software engineering MFF UK. The development of the Bobox framework is motivated by the effort to simplify writing parallel software. The Bobox framework is one of many system implementations for processing stream data and provides runtime environment for evaluating execution plans in the parallel environment. This thesis deals with implementation of a frontend for this framework. The input is a query in SQL language and information about database structure. Frontend will perform syn- tactic and semantic analysis and then translate the input query into intermediate code. The output of this frontend is the intermediate code in the form of relatio- nal algebra written as XML and is used as the input for the following optimizing backend.
Nízkoúrovňový funkcionální programovací jazyk
Kratochvíl, Miroslav ; Bednárek, David (advisor) ; Hric, Jan (referee)
The goal of this thesis is to explore the current possibilities of implementation of compilers of low-level functional languages. It is expected to evaluate theoretical possibilities of functional programming languages, possible limitations that arise from the absence of run-time code support in low-level environment, and to implement a language compiler that demonstrates some chosen properties. Powered by TCPDF (www.tcpdf.org)
Vyhodnocování relačních dotazů v proudově orientovaném prostředí
Kikta, Marcel ; Bednárek, David (advisor) ; Černý, Tomáš (referee)
This thesis deals with the design and implementation of an optimizer and a transformer of relational queries. Firstly, the thesis describes the theory of the relational query compilers. Secondly, we present the data structures and algorithms used in the implemented tool. Finally, the important implementation details of the developed tool are discussed. Part of the thesis is the selection of used relational algebra operators and design of an appropriate input. Input of the implemented software is a query written in a XML file in the form of relational algebra. Query is optimized and transformed into physical plan which will be executed in the parallelization framework Bobox. Developed compiler outputs physical plan written in the Bobolang language, which serves as an input for the Bobox. Powered by TCPDF (www.tcpdf.org)
Implementation of the DEECo component framework for embedded systems
Matěna, Vladimír ; Bureš, Tomáš (advisor) ; Bednárek, David (referee)
Recent development in the field of distributed and decentralized cyber-physical systems led to emerge of DEECo model. As many DEECo use cases are embedded applications it is interesting to evaluate DEECo on embedded hardware. Currently there is only reference DEECo implementation which is written in Java thus cannot be used for embedded applications. As part of this thesis C++ DEECo mapping and embedded CDEECo++ framework were designed using FreeRTOS operating system for task scheduling and synchronization. An example application designed for the STM32F4 board demonstrates usability of the framework. This thesis contains description of the DEECo mapping into the C++ language, source codes of the CDEECo++ framework, documentation and example application including basic measurement of its real- time properties. Powered by TCPDF (www.tcpdf.org)
Static analysis of C# programs
Malý, Petr ; Bednárek, David (advisor) ; Parízek, Pavel (referee)
The goal of this diploma thesis is to study and implement selected methods of static code analysis for C# programs translated into the Common Intermediate Language. The results of this work are integrated into the ParallaX Development Environment system. This diploma thesis focuses on Structural, Points-to and Dependence. analysis. Powered by TCPDF (www.tcpdf.org)
Framework for information extraction from the large language data sets
Kuboň, David ; Križ, Vincent (advisor) ; Bednárek, David (referee)
This thesis describes the FAFEFI program that focuses on n-gram and skip-gram extraction from large data sets. The thesis presents two different approaches to passing input data to the program. It also describes the design of data structures for n-gram and skip-gram representation within computer memory, the algorithm of n-gram and skip-gram extraction, memory-friendly options of saving extracted data and their final composition into output feature vectors. It also offers a variety of extra functions such as line filter and line modifier and a great deal of configurable parameters ranging from in-file separators to formatting the names of output files. Moreover, the program provides a differentiation in its activity by enabling saving data just after extraction from the train set and brings tools for cluster parallelization. Powered by TCPDF (www.tcpdf.org)
Analysis of a File System Using the Verifying C Compiler
Škorvaga, David ; Kofroň, Jan (advisor) ; Bednárek, David (referee)
Title: Analysis of a File System Using the Verifying C Compiler Author: Bc. David Škorvaga Department: Department of Distributed and Dependable Systems Supervisor: RNDr. Jan Kofroň, Ph.D. Abstract: Formal verification is a way to improve reliability of software systems. One approach of formal verification is focused on proving correctness of annotat- ed source code of an established programming language. Verifying C Compiler (VCC) is a verifier for concurrent C that accepts an annotated code in C language and automatically verifies its correctness with respect to the given annotation. There have been successful attempts to verify some critical systems, including the operating system kernel. Another critical part of operating system is its file system. In the thesis, we choose FatFs file system, a simple device-independent implementation of the FAT file system. We specify a part of it using the VCC annotation and successfully verify its correctness. Keywords: Formal Verification, File System, VCC
Optimizing scriptable generator of terrain maps
Zábský, Matěj ; Bednárek, David (advisor) ; Kahoun, Martin (referee)
The goal of this thesis is to develop a procedural terrain height map generator programmable using a Turing complete scripting language. The generator must allow rendering of partial maps by generating arbitrary rectangular region of the map described by any script. The thesis explains why this means the traditional script execution model won't work in this case and proposes a novel two stage model, which executes the scripts in two stages - a simulation stage and a rendering stage. Powered by TCPDF (www.tcpdf.org)
An IDE for C# Script Development
Pelc, Jan ; Ježek, Pavel (advisor) ; Bednárek, David (referee)
The goal of this thesis is to explore tools for using the C# programming language to create scripts - short programs for quick and easy solving of small, usually one-time temporary tasks that usually arise during the work on larger projects. In the thesis we analyze existing tools and identify their advantages and disadvantages, formulate requirements for our own tool, and develop our own tool. The result of the thesis is a small integrated development environment (IDE) for quick and easy authoring of scripts in the C# language. The IDE offers sufficient features to allow easy authoring and debugging of programs consisting primarily of a single C# source code file. In the work we make heavy use of the NRefactory library for syntactic and semantic analysis of the C# source code. Powered by TCPDF (www.tcpdf.org)

National Repository of Grey Literature : 159 records found   beginprevious82 - 91nextend  jump to record:
Interested in being notified about new results for this query?
Subscribe to the RSS feed.