Back to Results
First PageMeta Content
Computing / Forwarding plane / Routing table / Router / Forwarding information base / Network address translation / Open Shortest Path First / IP forwarding / Network switch / Network architecture / Internet / Routing


Debugging the Data Plane with Anteater Haohui Mai Matthew Caesar Ahmed Khurshid P. Brighten Godfrey
Add to Reading List

Open Document

File Size: 751,43 KB

Share Result on Facebook

City

Toronto / /

Company

Dell / Rocketfuel / Computer-Communication Networks / Cisco / IP / Intel / /

Country

Canada / /

Currency

USD / /

/

Event

Business Partnership / Product Issues / /

Facility

Brighten Godfrey Rachit Agarwal Samuel T. King University of Illinois / /

IndustryTerm

earlier reachability algorithm / data plane protocols / campus network / external routers / enterprise networks / typical networks / offthe-shelf solutions / phantom router / router software bugs / packet loss detection algorithm / loop-detection algorithm / dynamic routing protocols / consistency algorithms / dynamic programming algorithm / physical and virtual networks / packet transformation algorithms / reach algorithm / reachability algorithm / large university campus network / border routers / open-source software router / campus routers / similar solution / internal server / collection device / web-based management interface / software bugs / loop detection algorithm / desired invariant algorithm / larger production networks / large university network / invariant algorithms / tunneled networks / open source router software / consistency algorithm / external network / network operator / representative router / theoretical algorithm / software-defined networking approach / optimizations to our algorithms / particular network / consistent snapshot algorithm / router software / above packet loss algorithm / internal network / modeling dynamic routing protocols / /

NaturalFeature

Gigabit Ethernet channel / /

OperatingSystem

Linux / CentOS / /

Organization

University of Illinois / Planet Lab / /

Person

A NAT / Khurshid P. Brighten Godfrey Rachit Agarwal / Mai Matthew Caesar Ahmed / /

/

Position

model network behavior / model for network policies / representative / Debugging General / model network latency / /

Product

Anteater / Intrusion Detection / advertisements / /

ProgrammingLanguage

Prolog / Ruby / C++ / /

ProvinceOrState

Ontario / /

Technology

NAT-enabled routers / SNMP / dynamic routing protocols / consistency algorithms / RAM / two routers / NATenabled routers / loop detection algorithm / consistency The reachability algorithm / two replicated routers / Linux / above packet loss algorithm / Some building routers / The loop detection algorithm / VPN / MAC address / one router / packet transformation algorithms / Quality of Service / 178 routers / reach algorithm / reachability algorithm / invariant algorithms / packet loss detection algorithm / consistent snapshot algorithm / phantom router / existing theoretical algorithm / one representative router / firewall / desired invariant algorithm / campus routers / open-source software router / network address translation / MPLS / consistency algorithm / dynamic programming algorithm / earlier reachability algorithm / virtual LAN / border routers / data plane protocols / loop-detection algorithm / false The algorithm / Gigabit Ethernet / /

SocialTag