Topics of PhD theses

1-500 »501-544«
 
# -Year Advisor Dept Student Title
5012000Dvořák VáclavUPSYStaroba JiříPerformance Modeling and Prediction of Parallel Computing
5022000Kotásek ZdeněkUPSYStrnadel JosefDigital circuit testability analysis and improvements at register-transfer level
5032000Schwarz JosefUPSYOčenášek JiříNávrh meta-evolučního algoritmu pro řešení optimalizačních úloh
5042000Zendulka JaroslavUIFSKubíček VladislavPodobnostní vyhledávání v multimediálních datech
5051999Černocký JanUPGMBurget LukášContinuous speech recognition
5061999Černocký JanUPGMMotlíček PetrSegmental methods in speech signal processing
5071999Drábek VladimírUPSYSekanina LukášComponent approach to evolvable systems
5081999Hruška TomášUIFSAcceleration of Multimedia Codecs on Application Processors
5091999Hruška TomášUIFSAdvanced simulation techniques of system services and processes
5101999Hruška TomášUIFSAutomatic Searching of Instruction Extensions for Application Processors
5111999Hruška TomášUIFSProgramming of multi-core systems
5121999Hruška TomášUIFSRetargetable C/C++ Compiler for VLIW Architectures
5131999Hruška TomášUIFSTransformation techniques form C to HDL
5141999Kotásek ZdeněkUPSYRůžička RichardFormal Approach to RTL Gigital Circuit Testability Analysis
5151998Hruška TomášUIFSSmolík PetrObject-Based Information Systems
5161998Švéda MiroslavUIFSMatoušek PetrFormal Descriptions and Verifications of a Class of Higher Protocols with Real-Time Constraints
5171998Zbořil František V.UITSArnošt VladimírSimulace šíření zvuku v prostoru
5181998Zbořil František V.UITSOndráček TomášAdaptivní neuronové sítě
5191998Zendulka JaroslavUIFSKotásek PetrMethods of knowledge discovery in databases
5201997Češka MilanUITSHanáček PetrThe Common Model for the Communication and Synchronization Primitives
5211997Češka MilanUITSVojnar TomášFormal Analysis over Object-Oriented Petri Nets
5221997Drábek VladimírUPSYSllame M. AzeddienA contribution to optimization techniques based on design space exploration during high level synthesis
5231997Dvořák VáclavUPSYFučík OttoReconfigurable embedded systems
5241997Hruška TomášUIFSCvrček DanielAuthorization Model for Strongly Distributed Information Systems
5251997Rábová ZdeňkaUITSPeringer PetrHierarchical Modelling Based on Communicating Objects
5261997Zbořil František V.UITSGrebeníček FrantišekNeural Associative Memories
5271996Švéda MiroslavUIFSJankovský MichalFormal specifications of real-time systems
5281996Zbořil František V.UITSDobeš MichalPattern Recognition
5291995Zendulka JaroslavUIFSKorčák ZdeněkSignature files
5301994Hruška TomášUIFSKolář DušanFunctional Technology for Object-Oriented Modeling and Database
5311994Hruška TomášUIFSKolenčík PetrCategorical Framework for Object-Oriented Database Model
5321994Hruška TomášUIFSPřikryl PetrParallel Programming Tools
5331992Češka MilanUITSJanoušek VladimírPetri Nets and Objects
5341992Dvořák VáclavUPSYŠustr JaroslavSynthesis of low-cost decision diagrams
5351992Honzík Jan M.UIFSObluk KarelMethods for Design of an Object-Oriented Database System
5361992Hruška TomášUIFSBeneš MiroslavModelling Program Semantics Using Graphs
5371991Rábová ZdeňkaUITSMasár LubomírKnowledge based discrete simulation
5381989Dvořák VáclavUPSYPelikán PetrDesign automation of microprocessor controllers with the use of Petri nets
5391988Dvořák VáclavUPSYStejskal AloisA contribution to electronic circuit design for a laser interferometer
5401988Rábová ZdeňkaUITSMáčel MichalObject model and its use in software construction
5411985Rábová ZdeňkaUITSKastner AlešTools for computer aided digital circuits design
5421984Dvořák VáclavUPSYEysselt MilošSolution of some problems in improving computer performance
5431984Dvořák VáclavUPSYSchwarz JosefDesign automation tasks of decomposition and placement of ICs
5441983Rábová ZdeňkaUIVTHruška TomášModelling of programming language semantics and using models in programming language implementation
Prev