Topics of PhD theses

1-500 »501-536«
 
# -Year Advisor Dept Student Title
5011999Hruška TomášUIFSAdvanced simulation techniques of system services and processes
5021999Hruška TomášUIFSAutomatic Searching of Instruction Extensions for Application Processors
5031999Hruška TomášUIFSProgramming of multi-core systems
5041999Hruška TomášUIFSRetargetable C/C++ Compiler for VLIW Architectures
5051999Hruška TomášUIFSTransformation techniques form C to HDL
5061999Kotásek ZdeněkUPSYRůžička RichardFormal Approach to RTL Gigital Circuit Testability Analysis
5071998Hruška TomášUIFSSmolík PetrObject-Based Information Systems
5081998Švéda MiroslavUIFSMatoušek PetrFormal Descriptions and Verifications of a Class of Higher Protocols with Real-Time Constraints
5091998Zbořil František V.UITSArnošt VladimírSimulace šíření zvuku v prostoru
5101998Zbořil František V.UITSOndráček TomášAdaptivní neuronové sítě
5111998Zendulka JaroslavUIFSKotásek PetrMethods of knowledge discovery in databases
5121997Češka MilanUITSHanáček PetrThe Common Model for the Communication and Synchronization Primitives
5131997Češka MilanUITSVojnar TomášFormal Analysis over Object-Oriented Petri Nets
5141997Drábek VladimírUPSYSllame M. AzeddienA contribution to optimization techniques based on design space exploration during high level synthesis
5151997Dvořák VáclavUPSYFučík OttoReconfigurable embedded systems
5161997Hruška TomášUIFSCvrček DanielAuthorization Model for Strongly Distributed Information Systems
5171997Rábová ZdeňkaUITSPeringer PetrHierarchical Modelling Based on Communicating Objects
5181997Zbořil František V.UITSGrebeníček FrantišekNeural Associative Memories
5191996Švéda MiroslavUIFSJankovský MichalFormal specifications of real-time systems
5201996Zbořil František V.UITSDobeš MichalPattern Recognition
5211995Zendulka JaroslavUIFSKorčák ZdeněkSignature files
5221994Hruška TomášUIFSKolář DušanFunctional Technology for Object-Oriented Modeling and Database
5231994Hruška TomášUIFSKolenčík PetrCategorical Framework for Object-Oriented Database Model
5241994Hruška TomášUIFSPřikryl PetrParallel Programming Tools
5251992Češka MilanUITSJanoušek VladimírPetri Nets and Objects
5261992Dvořák VáclavUPSYŠustr JaroslavSynthesis of low-cost decision diagrams
5271992Honzík Jan M.UIFSObluk KarelMethods for Design of an Object-Oriented Database System
5281992Hruška TomášUIFSBeneš MiroslavModelling Program Semantics Using Graphs
5291991Rábová ZdeňkaUITSMasár LubomírKnowledge based discrete simulation
5301989Dvořák VáclavUPSYPelikán PetrDesign automation of microprocessor controllers with the use of Petri nets
5311988Dvořák VáclavUPSYStejskal AloisA contribution to electronic circuit design for a laser interferometer
5321988Rábová ZdeňkaUITSMáčel MichalObject model and its use in software construction
5331985Rábová ZdeňkaUITSKastner AlešTools for computer aided digital circuits design
5341984Dvořák VáclavUPSYEysselt MilošSolution of some problems in improving computer performance
5351984Dvořák VáclavUPSYSchwarz JosefDesign automation tasks of decomposition and placement of ICs
5361983Rábová ZdeňkaUIVTHruška TomášModelling of programming language semantics and using models in programming language implementation
Prev