Detail publikace

Hardware Router's Lookup Machine and its Formal Verification

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.
Název česky
Hardwarový vyhledávací stroj a jeho formální verifikace
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Antoš David, Mgr. (FI MUNI)
Kořenek Jan, doc. Ing., Ph.D. (UPSY FIT VUT)
Abstrakt

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í.

Rok
2004
Strany
1002-1007
Sborník
Proceedings of the 3rd International Conference on Networking ICN '04
Konference
3rd International Conference on Networking, Gosier, Guadeloupe, GP
ISBN
0-86341-325-0
Vydavatel
Université de Haute Alsace
Místo
Colmar, FR
BibTeX 
@INPROCEEDINGS{FITPUB7511,
   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 = "https://www.fit.vut.cz/research/publication/7511"
}
Nahoru