Fakulta informačních technologií VUT v Brně

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