Untitled

Now showing items 243-262 of 322

Subject
Sakura-G [1]
samoopravné kódy [1]
SAT,SMT,SMT-LIB,numerical methods for ODEs,formalverification,embedded systems,hybrid systems model analysis [1]
SAT,SMT,SMT-LIB,numerické metody řešeni ODE,formálniverifikace,vestavné systémy,analýza modelů hybridnich systémů [1]
Secure Onboard Communication [1]
security [1]
security,web application,HTTPS,Raspberry Pi,Python,Flask [1]
side-channel [1]
side-channel attacks [1]
Side-channel attacks,CPA,dynamic reconfiguration,composite field,masking,AES,SERPENT,PRESENT [1]
simple cycle path reduction [1]
simulace [2]
simulation [2]
Simulátor detektoru ionizujícího záření [1]
single-cycle processor [1]
SipHash [1]
síťová karta [1]
síťové rozhraní [1]
smart home [1]
smart sensor, SystemVerilog, UVM, verification, testbench, SPI, I2C [1]

Browsing Diplomové práce - 18103 by Subject