OpenFlow

Results: 521



#Item
51Theoretical computer science / Formal methods / Formal verification / Software-defined networking / Software verification / Turing machine / Finite-state machine / Model checking / Temporal logic / OpenFlow / Computer science / Distributed computing

Declarative Verifiable SDI Specifications Rick McGeer US Ignite ABSTRACT

Add to Reading List

Source URL: spw16.langsec.org

Language: English - Date: 2016-06-05 23:38:43
52Network protocols / TransPAC2 / OpenFlow / Internet in China / Software-defined networking / Internet2 / Energy Sciences Network / CERNET / Internet / AARNet / Router / Border Gateway Protocol

Microsoft Word - tp3_nsfannualreport2012.docx

Add to Reading List

Source URL: internationalnetworks.iu.edu

Language: English - Date: 2015-03-24 13:23:46
53Network architecture / OpenFlow / Software-defined networking / Nox / Frenetic / Transmission Control Protocol / Internet protocol suite / Open vSwitch / Communications protocol

Automating the Testing of OpenFlow Applications Marco Canini∗ , Dejan Kosti´c∗ , Jennifer Rexford† , Daniele Venzano∗ ∗ EPFL, {marco.canini,dejan.kostic,daniele.venzano}@epfl.ch † Princeton University, jrex@

Add to Reading List

Source URL: perso.uclouvain.be

Language: English - Date: 2014-02-09 12:30:30
54Routing / Computer networking / Internet protocols / Internet Standards / Router / Forwarding information base / Border Gateway Protocol / OpenFlow / IP forwarding

Supercharge me: Boost Router Convergence with SDN Michael Alan Chang Thomas Holterbach

Add to Reading List

Source URL: thomasholterbach.net

Language: English - Date: 2015-06-29 15:34:08
55Network architecture / Emerging technologies / Configuration management / Software-defined networking / Network protocols / OpenFlow / Open vSwitch / Active networking / Routing / Forwarding plane / Network function virtualization / Hewlett Packard Enterprise Networking

Robust fault-recovery in Software-Defined Networks IBSDN: IGP as a Backup in SDN Master’s thesis presented in partial fulfillment of the requirements for the degree of

Add to Reading List

Source URL: inl.info.ucl.ac.be

Language: English - Date: 2016-08-20 05:19:25
56Operations research / Network performance / Planning / Scheduling / Software-defined networking / OpenFlow / Queueing theory / Network switch / Noop scheduler

ESPRES: Transparent SDN Update Scheduling Peter Perešíni† , Maciej Ku´zniar† , † † EPFL

Add to Reading List

Source URL: perso.uclouvain.be

Language: English - Date: 2014-06-22 04:12:04
57Network architecture / Emerging technologies / OpenFlow / Software-defined networking / Computer networking / Forwarding plane / Network switch / Active networking / Nox / Network function virtualization

Revisiting control/data plane separation in Software Defined Networking Monday, October 31 , :00am Auditorium 106 Professor

Add to Reading List

Source URL: www.iis.sinica.edu.tw

Language: English - Date: 2016-08-10 03:42:04
58Network protocols / Network architecture / Internet Standards / Tunneling protocols / Multiprotocol Label Switching / RSVP-TE / MPLS VPN / Virtual private network / OpenFlow / Software-defined networking / Multiprotocol BGP / Nox

Microsoft Word - comd092-sharafat.docx

Add to Reading List

Source URL: conferences.sigcomm.org

Language: English - Date: 2011-08-01 22:53:27
59OpenFlow / Nox / Model checking / Concolic testing / Transmission Control Protocol

Definable functions continuous on curves in o-minimal structures

Add to Reading List

Source URL: perso.uclouvain.be

Language: English - Date: 2015-12-08 15:32:48
60OpenFlow / Digital media / Research / Open Networking Foundation / Electronic submission / Submission

The Open Networking Foundation OpenFlow Driver Competition Terms and Conditions Overview: The Open Networking Foundation (“ONF” or “Sponsor”), a California corporation, is sponsoring this competition (the “Open

Add to Reading List

Source URL: www.opennetworking.org

Language: English - Date: 2013-04-26 15:19:15
UPDATE