Topics of PhD theses 2012/2013

»1-50« 51-100 101-104
 
# +Školitel Ústav Student Název
1Černocký JanUPGMHybrid Flight Control
2Černocký JanUPGMOn-line parameter identification of an aicraft
3Černocký JanUPGMSearch in speech using querying by example
4Češka MilanUITSFormal analysis and verification of systems specified by high-level visual languages
5Češka MilanUITSPetri nets synthesis
6Češka MilanUITSTermination analysis of programs with dynamic data structures
7Češka MilanUITSTools for Petri net application in system design
8Češka MilanUITSVerification methods based on integer programming.
9Drábek VladimírUPSYArchitecures for Highly Reliable Memories
10Drahanský MartinUITSInvasive Methods of Attacks on Chips
11Drahanský MartinUITSStereometric measurement of longer distances
12Dvořák VáclavUPSYMany-core architectures
13Fučík OttoUPSYLow latency hardware architectures
14Hanáček PetrUITSAnalysis of Attacks on Wireless Local Networks
15Hanáček PetrUITSIntrusion Detection and Automatic Processing of Malware
16Hanáček PetrUITSIntrusion Detection in Network Traffic
17Herout AdamUPGMAdvanced Methods of Real-Time Rendering
18Herout AdamUPGMAugmented Reality on Mobile Devices
19Herout AdamUPGMComputer Vision on Graphics Processors
20Herout AdamUPGMDetection and Localization of Objects in Image and Video
21Herout AdamUPGMFractal Marker Fields
22Hruška TomášUIFSAdvanced Simulation Methods of Embedded Systems
23Hruška TomášUIFSAnalyzis of the Processor Model
24Hruška TomášUIFSDebugging of Optimized Code
25Hruška TomášUIFSEnergy Reducing Compiler Optimizations
26Hruška TomášUIFSGraphical design of Embedded Systems
27Hruška TomášUIFSGraphical Prototyping of Embedded Systems
28Hruška TomášUIFSPragma based executable code synthesis for generated application specific multi-core architectures
29Hruška TomášUIFSProgramming of multi-core systems
30Hruška TomášUIFSRetargetable C Compiler for DSP Architectures
31Hruška TomášUIFSSecurity increasing in the Internet Environment Using Malware Analysis
32Hruška TomášUIFSSimulation of Multiprocessor Systems on the Chip
33Hruška TomášUIFSTransformation techniques form C to VHDL
34Hruška TomášUIFSWorkflow process modeling
35Janoušek VladimírUITSAgentní platforma pro Smalltalk
36Janoušek VladimírUITSAlternativní prostředky pro vývoj aplikací pro OS Android
37Janoušek VladimírUITSMetody simulačního ověřování softwarových systémů
38Janoušek VladimírUITSMetody transformace modelů softwarových systémů
39Janoušek VladimírUITSMonitorování, řízení a optimalizace procesů s využitím rekonfigurovatelných Petriho sítí
40Janoušek VladimírUITSNa Petriho sítích založený vývoj inteligentních agentů
41Janoušek VladimírUITSPetriho sítě v návrhu a vývoji systémů
42Janoušek VladimírUITSVývoj distribuovaných softwarových systémů na bázi Petriho sítí a agentů
43Kolář DušanUIFSAutomatized Definition of Context-Sensitive Grammars
44Kolář DušanUIFSOptimization in Functional Languages
45Kolář DušanUIFSParallel Analysis of Context-Sensitive Languages
46Kotásek ZdeněkUPSYAnalýza číslicového systému - identifikace bodů ovlivňujících spolehlivost
47Kotásek ZdeněkUPSYAutomatická konstrukce hlídacích obvodů s částečným pokrytím pro číslicové systémy
48Kotásek ZdeněkUPSYAutomatizace využití výsledků simulace pro účely verifikace funkčnosti
49Kotásek ZdeněkUPSYMožnosti využití časové redundance při konstrukci systémů odolných proti poruchám
50Kotásek ZdeněkUPSYNávrh spolehlivých síťových aplikací
 Další