Topics of PhD theses

# -Rok Školitel Ústav Student Název
12014Hruška TomášUIFSGraphical design of Embedded Systems
22014Hruška TomášUIFSQuick Virtual Platforms
32014Hruška TomášUIFSSimulation of Multiprocessor Systems on the Chip
42014Hruška TomášUIFSRudnickaia JuliaAdvanced compiler optimizations
52014Hruška TomášUIFSRuttkay LadislavPartialy Reconfigurable Computer Systems
62013Hruška TomášUIFSWorkflow process modeling
72013Hruška TomášUIFSHynek JiříGraphical design of Embedded Systems
82012Hruška TomášUIFSAdvanced Simulation Methods of Embedded Systems
92012Hruška TomášUIFSAnalyzis of the Processor Model
102012Hruška TomášUIFSDebugging of Optimized Code
112012Hruška TomášUIFSGraphical Prototyping of Embedded Systems
122012Hruška TomášUIFSPragma based executable code synthesis for generated application specific multi-core architectures
132012Hruška TomášUIFSProgramming of multi-core systems
142012Hruška TomášUIFSRetargetable C Compiler for DSP Architectures
152012Hruška TomášUIFSTransformation techniques form C to VHDL
162010Hruška TomášUIFSDolíhal LuděkTesting of generated C compilers for processors in embedded systems
172010Hruška TomášUIFSPospíšil MilanWorkflow process modeling
182009Hruška TomášUIFSMáčel LukášWorkflow process modeling
192008Hruška TomášUIFSMates VojtěchWorkflow models
202007Hruška TomášUIFSHusár AdamProgramming of reconfigurable systems using a higher programming language
212007Hruška TomášUIFSPřikryl ZdeněkAdvanced Methods of Microprocessor Simulation
222004Hruška TomášUIFSMasařík KarelSystems for hardware-software co-design
232003Hruška TomášUIFSBurger TomášFormal Definition of Object-Oriented Model
242001Hruška TomášUIFSGüttner JakubProject Definition and Controling in Object-Oriented Information Systems
251998Hruška TomášUIFSSmolík PetrObject-Based Information Systems
261997Hruška TomášUIFSCvrček DanielAuthorization Model for Strongly Distributed Information Systems
271994Hruška TomášUIFSKolář DušanFunctional Technology for Object-Oriented Modeling and Database
281994Hruška TomášUIFSKolenčík PetrCategorical Framework for Object-Oriented Database Model
291994Hruška TomášUIFSPřikryl PetrParallel Programming Tools
301992Hruška TomášUIFSBeneš MiroslavModelling Program Semantics Using Graphs