Topics of PhD theses

# -Year Advisor Dept Student Title
12016Hruška TomášUIFSAutotuning
22016Hruška TomášUIFSGenerating phase of the Reconfigurable Compiler
32016Hruška TomášUIFSInformation system processes modelling
42016Hruška TomášUIFSMareček MatějProfile-guided Compiler Optimizations
52016Hruška TomášUIFSMinárik MatejAnalysis and optimization of business processes
62016Hruška TomášUIFSNěmečková ZitaAnalysis and optimization of business processes
72015Hruška TomášUIFSEnergy Reducing Compiler Optimization
82015Hruška TomášUIFSParallel Systems Programming
92015Hruška TomášUIFSProchocká KristínaProcess modeling in Information Systems
102014Hruška TomášUIFSRudnitckaia JuliaProcess mining
112013Hruška TomášUIFSHynek JiříModels of Graphic Interfaces
122012Hruška TomášUIFSAdvanced Simulation Methods of Embedded Systems
132012Hruška TomášUIFSAnalyzis of the Processor Model
142012Hruška TomášUIFSDebugging of Optimized Code
152012Hruška TomášUIFSGraphical Prototyping of Embedded Systems
162012Hruška TomášUIFSPragma based executable code synthesis for generated application specific multi-core architectures
172012Hruška TomášUIFSProgramming of multi-core systems
182012Hruška TomášUIFSRetargetable C Compiler for DSP Architectures
192012Hruška TomášUIFSTransformation techniques form C to VHDL
202010Hruška TomášUIFSPospíšil MilanWorkflow process modeling
212009Hruška TomášUIFSDolíhal LuděkTesting of generated C compilers for processors in embedded systems
222008Hruška TomášUIFSMates VojtěchWorkflow models
232007Hruška TomášUIFSHusár AdamProgramming of reconfigurable systems using a higher programming language
242007Hruška TomášUIFSPřikryl ZdeněkAdvanced Methods of Microprocessor Simulation
252004Hruška TomášUIFSMasařík KarelSystems for hardware-software co-design
262003Hruška TomášUIFSBurger TomášFormal Definition of Object-Oriented Model
272001Hruška TomášUIFSGüttner JakubProject Definition and Controling in Object-Oriented Information Systems
281999Hruška TomášUIFSAcceleration of Multimedia Codecs on Application Processors
291999Hruška TomášUIFSAdvanced simulation techniques of system services and processes
301999Hruška TomášUIFSAutomatic Searching of Instruction Extensions for Application Processors
311999Hruška TomášUIFSProgramming of multi-core systems
321999Hruška TomášUIFSRetargetable C/C++ Compiler for VLIW Architectures
331999Hruška TomášUIFSTransformation techniques form C to HDL
341998Hruška TomášUIFSSmolík PetrObject-Based Information Systems
351997Hruška TomášUIFSCvrček DanielAuthorization Model for Strongly Distributed Information Systems
361994Hruška TomášUIFSKolář DušanFunctional Technology for Object-Oriented Modeling and Database
371994Hruška TomášUIFSKolenčík PetrCategorical Framework for Object-Oriented Database Model
381994Hruška TomášUIFSPřikryl PetrParallel Programming Tools
391992Hruška TomášUIFSBeneš MiroslavModelling Program Semantics Using Graphs