Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2008

    1. Discounted Properties of Probabilistic Pushdown Automata
      BRÁZDIL, Tomáš, Václav BROŽEK, Jan HOLEČEK a Antonín KUČERA. Discounted Properties of Probabilistic Pushdown Automata. In Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008. Berlin Heidelberg New York: Springer. s. 230-242. ISBN 978-3-540-89438-4. 2008.
      Název česky: Diskontované vlastnosti pravděpodobnostních zásobníkových automatů
      RIV/00216224:14330/08:00026776 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika) -- Brožek, Václav (203 Česká republika) -- Holeček, Jan (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant)
      Klíčová slova anglicky: Markov chains; discounting; pushdown automata
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 5. 2009 15:11.
      Podrobněji: https://is.muni.cz/publication/794015/cs

    2004

    1. Animations in pdfTeX-generated PDF
      HOLEČEK, Jan a Petr SOJKA. Animations in pdfTeX-generated PDF. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag, roč. 2004, č. 3130, s. 179--191, 12 s. ISSN 0302-9743. 2004.
      author's publication page with further details Publisher (Springer) page with full PDF version of paper
      Název česky: Animace v pdfTeXem generovaném PDF
      Název anglicky: Animations in pdfTeX-generated PDF
      RIV/00216224:14330/04:00010264 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Spojené státy.
      Holeček, Jan (203 Česká republika) -- Sojka, Petr (203 Česká republika, garant)
      Klíčová slova anglicky: animation; PDF; pdfTeX; digital typography
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Petr Sojka, Ph.D., učo 2378. Změněno: 15. 6. 2009 21:24.
      Podrobněji: https://is.muni.cz/publication/557492/cs
    2. Animations in pdfTeX-generated PDF
      HOLEČEK, Jan a Petr SOJKA. Animations in pdfTeX-generated PDF. TUGboat : The Communications of the TeX Users Group. San Francisco: TeX Users Group, roč. 25, č. 1, s. 35-41. ISSN 0896-3207. 2004.
      Elektronická verze článku dostupná u Springer Verlag Stránka publikací autora s detailními informacemi
      Název česky: Animace v pdfTeXem generovaném PDF
      Název anglicky: Animations in pdfTeX-generated PDF
      RIV/00216224:14330/04:00010263 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Spojené státy.
      Holeček, Jan (203 Česká republika) -- Sojka, Petr (203 Česká republika, garant)
      Klíčová slova anglicky: animation; PDF; pdfTeX; digital typography
      Změnil: Mgr. Jan Holeček, učo 39442. Změněno: 16. 5. 2005 10:48.
      Podrobněji: https://is.muni.cz/publication/557490/cs
    3. How to Formalize FPGA Hardware Design
      HOLEČEK, Jan, Tomáš KRATOCHVÍLA, Vojtěch ŘEHÁK, David ŠAFRÁNEK a Pavel ŠIMEČEK. How to Formalize FPGA Hardware Design. Praha: CESNET, z.s.p.o. CESNET Technical Report No. 04/2004. 2004.
      URL
      Název česky: Kterak formalizovat hardwarový design FPGA čipů
      RIV/00216224:14330/04:00010387 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
      Holeček, Jan (203 Česká republika) -- Kratochvíla, Tomáš (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika, garant) -- Šafránek, David (203 Česká republika) -- Šimeček, Pavel (203 Česká republika)
      Klíčová slova anglicky: formal verification; programmable hardware; FPGA; Cadence SMV; VHDL
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 14. 2. 2005 11:11.
      Podrobněji: https://is.muni.cz/publication/559201/cs
    4. Verification Process of Hardware Design in Liberouter Project
      HOLEČEK, Jan, Tomáš KRATOCHVÍLA, Vojtěch ŘEHÁK, David ŠAFRÁNEK a Pavel ŠIMEČEK. Verification Process of Hardware Design in Liberouter Project. Praha: CESNET z.s.p.o. CESNET Technical Report No. 05/2004. 2004.
      URL
      Název česky: Proces verifikace hardwarového návrhu v projektu Liberouter
      RIV/00216224:14330/04:00010547 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
      Holeček, Jan (203 Česká republika, garant) -- Kratochvíla, Tomáš (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika) -- Šafránek, David (203 Česká republika) -- Šimeček, Pavel (203 Česká republika)
      Klíčová slova anglicky: formal verification; Liberouter; Cadence SMV; VHDL
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 24. 1. 2005 17:02.
      Podrobněji: https://is.muni.cz/publication/561408/cs
    5. Verification Results in Liberouter Project
      HOLEČEK, Jan, Tomáš KRATOCHVÍLA, Vojtěch ŘEHÁK, David ŠAFRÁNEK a Pavel ŠIMEČEK. Verification Results in Liberouter Project. Praha: CESNET, z.s.p.o. CESNET Technical Report No. 03/2004. 2004.
      URL
      Název česky: Výsledky verifikace v rámci projektu Liberouter
      RIV/00216224:14330/04:00010306 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
      Holeček, Jan (203 Česká republika) -- Kratochvíla, Tomáš (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika) -- Šafránek, David (203 Česká republika, garant) -- Šimeček, Pavel (203 Česká republika)
      Klíčová slova anglicky: formal verification; programmable hardware; FPGA; Cadence SMV; VHDL; Verilog
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 24. 1. 2005 17:02.
      Podrobněji: https://is.muni.cz/publication/558042/cs
Zobrazeno: 16. 4. 2024 10:55