National Repository of Grey Literature 5 records found  Search took 0.00 seconds. 
General System for Testing of Interprets
Drahošová, Michaela ; Koutný, Jiří (referee) ; Lukáš, Roman (advisor)
This work deals with concept and implementation of General system for testing of interprets. Testing of interprets is based on the principle of comparation of results of the interpretation carried out by the testing with reference results. The set of testing programmes is acquired by translating testing programmes, in the reference language to programmes in the language of tested interpret. The testing system enables generation of a testing set of programmes for an interpret according input and reference result after a preceding analysis of a file consisting of description of the syntax and semantics of the interpret's language. These actions result is translation of a more complex programming language to another.
Code Analysis and Transformation Based on Regulated Grammars
Arbet, Matúš ; Tomko, Martin (referee) ; Meduna, Alexandr (advisor)
This thesis is concerning with Code Analysis and Transformation Based on Grammars. The work contains mathematical basics of operations used in grammars and automata. Their definitions are accompanied by examples. The design and implementation of the application with focus on the field of bioinformatics, based on regulated grammars is discussed at the end of the theses.
Code Analysis and Transformation Based on Regulated Grammars
Arbet, Matúš ; Tomko, Martin (referee) ; Meduna, Alexandr (advisor)
This thesis is concerning with Code Analysis and Transformation Based on Grammars. The work contains mathematical basics of operations used in grammars and automata. Their definitions are accompanied by examples. The design and implementation of the application with focus on the field of bioinformatics, based on regulated grammars is discussed at the end of the theses.
Compiler of Language of Mathematical Function
Junek, Lukáš ; Horáček, Petr (referee) ; Čermák, Martin (advisor)
In this thesis, we are dealing with construction of Interpreter of Language of Mathematical function. We constructed all parts of interpreter, which involved processing and execution of source code.  The main part of my thesis is implementation of computer operations with matrices using SSE instructions. For this purpose, we used interface by Intel. There in a special header file are defined the functions corresponding to each instruction. However, functions not only to calculate, but perform support operations, which eliminate some annoying features of assembler.  
General System for Testing of Interprets
Drahošová, Michaela ; Koutný, Jiří (referee) ; Lukáš, Roman (advisor)
This work deals with concept and implementation of General system for testing of interprets. Testing of interprets is based on the principle of comparation of results of the interpretation carried out by the testing with reference results. The set of testing programmes is acquired by translating testing programmes, in the reference language to programmes in the language of tested interpret. The testing system enables generation of a testing set of programmes for an interpret according input and reference result after a preceding analysis of a file consisting of description of the syntax and semantics of the interpret's language. These actions result is translation of a more complex programming language to another.

Interested in being notified about new results for this query?
Subscribe to the RSS feed.