Hledat
Zobrazují se záznamy 1-10 z 37
Grafické prostředí pro testování agentů, Graphical Environment for Agents Testing
; Vedoucí práce: Kolář Josef; Oponent práce: Janoušek Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-28)
Implementace Stromového kompresního automatu (TCA), Implementation of Tree Compression Pushdown Automaton (TCA)
; Vedoucí práce: Poliak Martin; Oponent práce: Janoušek Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-28)
Generování cílového kódu s pomocí indexu AST, Generating Target Code Using an Index of AST
; Vedoucí práce: Janoušek Jan; Oponent práce: Guth Ondřej (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-02-12)
Zotavení se z chyb v nástrojích pro automatizovanou analýzu programových artefaktů, Error Recovery in Tools for Automatically Analysing Program Artefacts
; Vedoucí práce: Janoušek Jan; Oponent práce: Trávníček Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-02-12)
Agentní model globální komerční námořní dopravy, Agent-based Model of Global Maritime Merchant Traffic
; Vedoucí práce: Vaněk Ondřej; Oponent práce: Janoušek Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24)
Simulace nedeterministického zásobníkového automatu pro indexování stromů, Simulation of a nondeterministic pushdown automaton for tree indexing
; Vedoucí práce: Janoušek Jan; Oponent práce: Trávníček Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24)
Inkrementální analýza PL/SQL skriptů, Incremental analysis of PL/SQL scripts
; Vedoucí práce: Janoušek Jan; Oponent práce: Toušek Jiří
Tato práce se zabývá vylepšením mechanizmu transformací u systému \acrlong{mt}. Transformace umožňuje automaticky upravit \acrshort{plsql} kód, reprezentovaný pomocí \acrshort{ast}, tak, aby splňoval určitá pravidla. ...
Formální specifikace šablonovacího jazyka Latte a implementace pluginu pro platformu IntelliJ IDEA, A formal specification of template language Latte and the implemention of a plugin for platform IntelliJ IDEA
; Vedoucí práce: Janoušek Jan; Oponent práce: Polách Radomír (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
Vyhledávání nelineárních vzorků ve stromech, Nonlinear Tree Pattern Matching
; Vedoucí práce: Janoušek Jan; Oponent práce: Trávníček Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24)
Vizualizace konečných automatů, Visualisation of finite automata
; Vedoucí práce: Janoušek Jan; Oponent práce: Poliak Martin (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-02-06)