Filtrování publikací

    2004

    1. 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., 2004. CESNET Technical Report No. 04/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
    2. 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., 2004. CESNET Technical Report No. 03/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

    2003

    1. Associative Memories for IP Packet Routing
      ANTOŠ, David. Associative Memories for IP Packet Routing. Brno: Faculty of Informatics, MU Brno, 2003.
      Název anglicky: Associative Memories for IP Packet Routing

      Klíčová slova anglicky: IP packet routing; IP header lookup; programmable hardware
      Změnil: RNDr. David Antoš, Ph.D., učo 3077. Změněno: 13. 1. 2004 14:28.
      Podrobněji: https://is.muni.cz/publication/492066/cs
    2. Liberouter, IPv6 router
      ANTOŠ, David a Jiří NOVOTNÝ. Liberouter, IPv6 router. In Širokopásmové sítě a jejich aplikace. Olomouc: Universita Palackého Olomouc, 2003, s. 75-81. ISBN 80-244-0642-X.
      Název anglicky: Liberouter, IPv6 router
      RIV/00216224:14610/03:00008740 Stať ve sborníku. Počítačový hardware a software. čeština. Česká republika.
      Antoš, David (203 Česká republika, garant) -- Novotný, Jiří (203 Česká republika)
      Klíčová slova anglicky: IPv6; packet routing; packet filtering; liberouter; pc routers; programmable hardware; network configuration
      Změnil: RNDr. David Antoš, Ph.D., učo 3077. Změněno: 30. 5. 2003 09:17.
      Podrobněji: https://is.muni.cz/publication/487002/cs
Zobrazeno: 27. 3. 2025 12:02