Výsledky vyhľadávania

Nájdených záznamov: 11  
Váš dotaz: Autor-kód záznamu = "^stu_us_auth stu61660^"
  1. 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
    článok

    článok

  2. 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áca
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FIIT0100
    kniha

    kniha

  3. 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
    článok

    článok

  4. 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ánok
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FIIT0100
    článok

    článok

  5. 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áca
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FIIT0100
    kniha

    kniha

  6. 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
    článok

    článok

  7. 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áca
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FIIT0100
    kniha

    kniha

  8. 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áce
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FIIT1000
    kniha

    kniha

  9. 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
    článok

    článok

  10. 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áca
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FIIT0001
    kniha

    kniha


  Tieto stránky využívajú súbory cookies, ktoré uľahčujú ich prezeranie. Ďalšie informácie o tom ako používame cookies.