Topics of PhD theses

»1-25«
 
# -Year Advisor Dept Student Title
12017Kotásek ZdeněkUPSYAnalýza číslicového systému - identifikace bodů ovlivňujících spolehlivost
22017Kotásek ZdeněkUPSYSpolehlivostní modely architektur systémů odolných proti poruchám na bázi FPGA
32017Kotásek ZdeněkUPSYSystem for the detection and recovery of transient faults in FPGA based systems
42017Kotásek ZdeněkUPSYThe possibilities of using time redundancy during the design of fault tolerant systems
52016Kotásek ZdeněkUPSYPánek RichardFault tolerant systems - the methodology of reconfiguration controller design
62015Kotásek ZdeněkUPSYAutomatizace využití výsledků simulace pro účely verifikace funkčnosti
72015Kotásek ZdeněkUPSYKrobot PavelOptimalizace distribuovaného dotazování dat o tocích
82015Kotásek ZdeněkUPSYLojda JakubFault tolerant systems design automation
92015Kotásek ZdeněkUPSYVampola PavelHardware Acceleration of Application Protocols
102014Kotá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
112013Kotásek ZdeněkUPSYČekan OndřejPrincipy generování testovacích vektorů
122013Kotásek ZdeněkUPSYPodivínský JakubVyužití verifikace pro ověřování odolnosti proti poruchám u systémů založených na FPGA
132012Kotásek ZdeněkUPSYSzurman KarelSynchronizace systému odolného proti poruchám po vzniku poruchy a její opravě
142011Kotásek ZdeněkUPSYŠimková MarcelaMetody akcelerace verifikace logických obvodů
152010Kotásek ZdeněkUPSYSpolehlivostní modely systémů odolných proti poruchám implementovaných do rekonfigurovatelných FPGA
162010Kotá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
172008Kotá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
182006Kotásek ZdeněkUPSYStraka MartinMethodology of highly reliable systems
192005Kotásek ZdeněkUPSYStareček LukášFault model of polymorphic gate
202004Kotásek ZdeněkUPSYHerrman TomášTest Application Methodology Based On the Identification of Testable Cores
212004Kotásek ZdeněkUPSYŠkarvada JaroslavThe Optimization of Low Power Test Application for Digital Systems
222003Kotásek ZdeněkUPSYPečenka TomášTools and methods for automated generating of benchmark circuits
232001Kotásek ZdeněkUPSYMika DanielUplatnění formálních postupů při návrhu řadiče testu číslicového obvodu
242000Kotásek ZdeněkUPSYStrnadel JosefDigital circuit testability analysis and improvements at register-transfer level
251999Kotásek ZdeněkUPSYRůžička RichardFormal Approach to RTL Gigital Circuit Testability Analysis