Ing. Jan Kořenek, Ph.D.

ANTOŠ David a KOŘENEK Jan. Hardware Router's Lookup Machine and its Formal Verification. In: Proceedings of the 3rd International Conference on Networking ICN '04. Colmar: Université de Haute Alsace, 2004, s. 1002-1007. ISBN 0-86341-325-0.
Jazyk publikace:angličtina
Název publikace:Hardware Router's Lookup Machine and its Formal Verification
Název (cs):Hardwarový vyhledávací stroj a jeho formální verifikace
Strany:1002-1007
Sborník:Proceedings of the 3rd International Conference on Networking ICN '04
Konference:3rd International Conference on Networking
Místo vydání:Colmar, FR
Rok:2004
ISBN:0-86341-325-0
Vydavatel:Université de Haute Alsace
Klíčová slova
IPv6 routing, FPGA, formal verification, Liberouter
Anotace
Tento článek popisuje návhr vyhledávacího stroje implementovaného v hardwarovém akcelerátoru COMBO6 pro IPv6 a IPv4 směrování.
BibTeX:
@INPROCEEDINGS{
   author = {David Anto{\v{s}} and Jan Ko{\v{r}}enek},
   title = {Hardware Router's Lookup Machine and its Formal Verification},
   pages = {1002--1007},
   booktitle = {Proceedings of the 3rd International Conference on
	Networking ICN '04},
   year = {2004},
   location = {Colmar, FR},
   publisher = {University of Haute Alsace},
   ISBN = {0-86341-325-0},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=7511}
}

Vaše IPv4 adresa: 54.161.73.123
Přepnout na IPv6 spojení

DNSSEC [dnssec]