Topics of PhD theses

»1-26«
 
# -Year Advisor Dept Student Title
12017Kotásek ZdeněkUPSYAnalýza číslicového systému - identifikace bodů ovlivňujících spolehlivost
22017Kotásek ZdeněkUPSYMetodiky softwarové odolnosti proti poruchám
32017Kotásek ZdeněkUPSYSpolehlivostní modely architektur systémů odolných proti poruchám na bázi FPGA
42017Kotásek ZdeněkUPSYSystem for the detection and recovery of transient faults in FPGA based systems
52017Kotásek ZdeněkUPSYThe design of fault tolerant systems reflecting low power
62017Kotásek ZdeněkUPSYThe possibilities of using time redundancy during the design of fault tolerant systems
72016Kotásek ZdeněkUPSYPánek RichardFault tolerant systems - the methodology of reconfiguration controller design
82015Kotásek ZdeněkUPSYAutomatizace využití výsledků simulace pro účely verifikace funkčnosti
92015Kotásek ZdeněkUPSYKrobot PavelOptimalizace distribuovaného dotazování dat o tocích
102015Kotásek ZdeněkUPSYLojda JakubFault tolerant systems design automation
112014Kotásek ZdeněkUPSYKrčma MartinNávrh systémů založených na neuronových sítích odolných proti poruchám s využitím on-line rekonfigurace
122013Kotásek ZdeněkUPSYČekan OndřejPrincipy generování testovacích vektorů
132013Kotásek ZdeněkUPSYPodivínský JakubVyužití verifikace pro ověřování odolnosti proti poruchám u systémů založených na FPGA
142012Kotásek ZdeněkUPSYSzurman KarelSynchronizace systému odolného proti poruchám po vzniku poruchy a její opravě
152011Kotásek ZdeněkUPSYŠimková MarcelaMetody akcelerace verifikace logických obvodů
162010Kotásek ZdeněkUPSYSpolehlivostní modely systémů odolných proti poruchám implementovaných do rekonfigurovatelných FPGA
172010Kotásek ZdeněkUPSYMičulka LukášMetoda návrhu systémů odolných proti poruchám do omezeného implementačního prostoru na bázi FPGA
182008Kotásek ZdeněkUPSYKaštil JanOptimalizace algoritmů a datových struktur pro vyhledávání regulárních výrazů s využitím technologie FPGA
192006Kotásek ZdeněkUPSYStraka MartinMethodology of highly reliable systems
202005Kotásek ZdeněkUPSYStareček LukášFault model of polymorphic gate
212004Kotásek ZdeněkUPSYHerrman TomášTest Application Methodology Based On the Identification of Testable Cores
222004Kotásek ZdeněkUPSYŠkarvada JaroslavThe Optimization of Low Power Test Application for Digital Systems
232003Kotásek ZdeněkUPSYPečenka TomášTools and methods for automated generating of benchmark circuits
242001Kotásek ZdeněkUPSYMika DanielUplatnění formálních postupů při návrhu řadiče testu číslicového obvodu
252000Kotásek ZdeněkUPSYStrnadel JosefDigital circuit testability analysis and improvements at register-transfer level
261999Kotásek ZdeněkUPSYRůžička RichardFormal Approach to RTL Gigital Circuit Testability Analysis