Výsledky vyhľadávania
- HSSL specification high-level synthesis / aut. Katarína Jelemenská, Martin Kardoš, Pavel Čičák
Jelemenská Katarína ; 070100 Kardoš Martin ; 070100 Čičák Pavel ; 070100
ICETA 2015. IEEE 13th International Conference on Emerging eLearning Technologies and Applications . CD-ROM, s. 171-176
článok zo zborníka
AFD - Publikované príspevky na domácich vedeckých konferenciách
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka - Transformácia formálnej špecifikácie správania sa v jazyku HSSL do VHDL modelu
Kardoš Martin ; I100 Jelemenská Katarína (škol.) ; I100
Bratislava : STU v Bratislave FIIT, 2013 . - 70 s príl.
Computer and Communication Systems and Networks počítačové a komunikačné systémy a siete
http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=91244
diplomová prácaFakulta Voľné Prezenčne Vypožičané Nedostupné FIIT 0 1 0 0 - Extensible Framework for Graphical Representation of HDL Models and Simulation Results
Jelemenská Katarína ; I100 Hyben Martin ; I100 Jančiga Tomáš ; I100 Kardoš Martin ; I100 Maron Ľubomír ; I100 Süll Zsolt ; I100
Africon 2013 [elektronický zdroj] : . online, s. 860-864
digitálny systém verifikácia modelu Verilog SystemC
článok zo zborníka
AFC - Publikované príspevky na zahraničných vedeckých konferenciách
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka - Visualization of Digital Systems Models
Hyben Martin ; I100 Jančiga Tomáš ; I100 Kardoš Martin ; I100 Maron Ľubomír ; I100 Süll Zsolt ; I100
IIT.SRC 2013: student research conference [elektronický zdroj] : . s.online, s. 319-324
článok zo zborníka
AFD - Publikované príspevky na domácich vedeckých konferenciách
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka
(3) - článokFakulta Voľné Prezenčne Vypožičané Nedostupné FIIT 0 1 0 0 - Web rozhranie pre analýzu sieťovej prevádzky
Kardoš Martin ; I100 Kováčik Tomáš (škol.) ; I100
Bratislava : STU v Bratislave FIIT, 2011 . - 73 s
katalyzer measuring meranie počítačové a komunikačné systémy a siete Computer and Communication Systems and Networks
http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=74657
bakalárska prácaFakulta Voľné Prezenčne Vypožičané Nedostupné FIIT 0 1 0 0 - Digitálna letecká fotogrametria ako nástroj pre dlhodobý monitoring zosuvného územia: vývoj ľubietovského zosuvu v rokoch 1969-1998 / aut. Roberta Prokešová, Martin Kardoš, Alžbeta Medveďová
Prokešová Roberta Kardoš Martin Medveďová Alžbeta
Geomorphologica Slovaca et Bohemica . Vol. 8, no. 1 (2008), s. 63-75
článok z periodika
(1) - článok - Návrh a implementácia programovej podpory pre modelovanie a verifikáciu vnorených systémov v jazyku UML
Orfánus Dalimír Kardoš Martin (škol.) ; I100
Bratislava : STU v Bratislave FIIT, 2006
FIIT ; . - 127 s príl.
informatika
diplomová prácaFakulta Voľné Prezenčne Vypožičané Nedostupné FIIT 0 1 0 0 - Automated Formal Verification for UML-based Model Driven Design of Embedded Systems
Kardoš Martin ; E220 Frištacký Norbert (škol.) ; I100
STU v Bratislave FIIT, 2005 . - 163 s príl.
dizertačná práca
DAI - Dizertačné a habilitačné práceFakulta Voľné Prezenčne Vypožičané Nedostupné FIIT 1 0 0 0 - Functional verification for UML - based model driven design of embedded systems
Kardoš Martin ; E220
IFIP Series . Vol. 184 From Specification to Embedded Systems Application. IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), August 15-17, 2005, Manaus, Brazil (2005), s.103-114
embedded system design UML AsmL formal verification
článok z periodika
ADC - Vedecké práce v zahraničných karentovaných časopisoch
V3 - Vedecký výstup publikačnej činnosti z časopisu - Dynamický prekladač zápisu špecifikácie z HSSL jazyka
Zeman Viktor Frištacký Norbert (škol.) ; E220 Kardoš Martin (škol.) ; E220
Bratislava : STU v Bratislave FEI, 2000
FEI ; . - 62 s
informatika
diplomová prácaFakulta Voľné Prezenčne Vypožičané Nedostupné FIIT 0 0 0 1