. "ICT 2006, 13th International Conference on Telecommunications" . . "P(1ET408050503), P(1M0545), P(GD102/05/H050), Z(MSM0021622419), Z(MSM6383917201)" . . . . . . "\u0158eh\u00E1k, Vojt\u011Bch" . . "RIV/00216224:14330/06:00015335" . "Personal computers are known to be highly usable as internet routers. To overcome their throughput limitations, a hardware accelerator can be employed. For the purposes of packet classification in the accelerator, we investigate a way to combine routing, level 2 addressing, and packet filtering into a single lookup structure. This paper describes the first part of the process: a method to combine routing and level 2 addressing to a single lookup. A formal model of routing and level 2 addressing is presented and used to prove correctness of the method and its equivalence to operating system behaviour." . . "2"^^ . "Routing and Level 2 Addressing in a Hardware Accelerator for Network Applications" . "Routing and Level 2 Addressing in a Hardware Accelerator for Network Applications"@en . . "RIV/00216224:14330/06:00015335!RIV10-GA0-14330___" . . "2"^^ . . "University of Aveiro, Portugal" . "Routing and Level 2 Addressing in a Hardware Accelerator for Network Applications"@en . . "Funchal, Madeira" . "4"^^ . . "498018" . . "Funchal, Portugal" . "Personal computers are known to be highly usable as internet routers. To overcome their throughput limitations, a hardware accelerator can be employed. For the purposes of packet classification in the accelerator, we investigate a way to combine routing, level 2 addressing, and packet filtering into a single lookup structure. This paper describes the first part of the process: a method to combine routing and level 2 addressing to a single lookup. A formal model of routing and level 2 addressing is presented and used to prove correctness of the method and its equivalence to operating system behaviour."@en . "972-98368-4-1" . "2005-05-08+02:00"^^ . "routing; L2 addressing; hardware acceleration"@en . "Routing and Level 2 Addressing in a Hardware Accelerator for Network Applications" . . "Anto\u0161, David" . . . . "[D59BDB328632]" . . "14330" . . .