鵝
歷
㊪
類
簽
☌
⇡

Tags

;login(3) AOP(1) API(1) BGP(1) DSL(6) HotSDN(4) IXP(3) MPLS(1) NFV(1) NSDI15(1) OS(3) OSPF(1) OpenFlow(2) QoS(1) SDN(41) SDX(1) SE(3) SIGCOMM14(1) TE(1) Y2013(1) Y2014(3) abstraction(6) active database(3) active networks(1) application pearls(3) architecture(2) authorization(1) book(3) cellular(1) cloud(1) concurrency(5) configuration(1) consistency(1) constraint optimization(2) coursera(1) data(2) data integration(3) data model(1) data sharing(7) datalog(2) declarative networking(1) dependency(2) emulation(3) failure(1) fault tolerance(2) formalization(1) hypervisor(2) integrity constraint(2) interoperability(2) label switching(1) layering(1) load balancing(1) logic(2) middlebox(7) mining(1) network management(9) network monitoring(2) network orchestration(4) network provisioning(1) network update(2) opencourseware(1) policy(1) programming(8) query optimization(1) random(1) random search(1) resource sharing(2) rule(3) schema(1) security(3) seminal(1) state distribution(2) streaming database(2) style(1) synthesis(1) talk(1) testbed(1) theorem proving(1) traffic engineering(1) transaction(2) vehicular(5) verification(5) view(20) view update(2) virtualization(5) wireless(3)

style

• jekyll

SDN

• SoftCell: Scalable and Flexible Cellular Core Network Architecture
• VeriCon: towards verifying controller programs in software defined networks
• Declarative and Expressive Approach to Control Forwarding Paths in Carrier Grade Networks
• SDN for the Cloud
• Software Defined Networking Paradigms in Wireless Networks: A Survey
• OpenFlow Enabled Mobile and Wireless Networks
• SmartArgos: Improving Mobile Surveillance Systems with Software Defined Networks
• Kandoo: A Framework for Efficient and Scalable Offloading of Control Applications
• OpenFlow: Enabling Innovation in Campus Networks
• The road to SDN: an intellectual history of programmable networks
• Compiling Path Queries in Software Defined Networks
• Flow level State Transition as a New Switch Primitive for SDN
• High fidelity switch models for software defined network emulation
• A Network in a Laptop: Rapid Prototyping for Software Defined Networks
• Millions of Little Minions: Using Packets for Low Latency Network Programming and Visibility
• Abstractions for Network Update
• Model Checking Invariant Security Properties in OpenFlow
• Software transactional networking: concurrent and consistent policy composition
• Improiving Network Management with Software Defined Networking
• SDX: A Software Defined Internet Exchange
• Software Defined Internet Architecture: Decoupling Architecture from Infrastructure
• Beehive: Towards a Simple Abstraction for Scalable Software Defined Networking
• Tierless Programming and Reasoning for Software Defined Networks
• NetKAT: Semantic Foundations for Networks
• HERCULES: Integrated Control Framework for Datacenter Traffic Management
• Corybantic: Towards the Modular Composition of SDN Control Programs
• Splendid Isolation: A Slice Abstraction for Software Defined Networks
• CoVisor: A Compositional Hypervisor for Software Defined Networks
• A Compiler and Run time System for Network Programming Languages
• Rethinking Enterprise Network Control
• NOX: Towards an Operating System for Networks
• Kinetic: Verifiable Dynamic Network Control
• PGA: Using Graphs to Express and Automatically Reconcile Network Policies
• Merlin: A Language for Provisioning Network Resources
• FlowTags: Enforcing Network Wide Policies in the Presence of Dynamic Middlebox Actions
• Participatory Networking: An API for Application Control of SDNs
• FatTire: Declarative Fault Tolerance for Software Defined Networks
• Composing Software Defined Networks
• Modular SDN Programming with Pyretic
• ONOS: Towards an Open, Distributed SDN OS
• Leveraging SDN Layering to Systematically Troubleshoot Networks

layering

• Leveraging SDN Layering to Systematically Troubleshoot Networks

state distribution

• A Network-state Management Service
• ONOS: Towards an Open, Distributed SDN OS

programming

• Logic Programming
• NetKAT: Semantic Foundations for Networks
• A Compiler and Run time System for Network Programming Languages
• FatTire: Declarative Fault Tolerance for Software Defined Networks
• Composing Software Defined Networks
• Modular SDN Programming with Pyretic
• Aspect Oriented Programming
• Aspect Oriented Programming is Quantification and Obliviousness

SE

• On the Criteria To Be Used in Decomposing Systems into Modules
• Aspect Oriented Programming
• Aspect Oriented Programming is Quantification and Obliviousness

abstraction

• Flow level State Transition as a New Switch Primitive for SDN
• Resilient Distributed Datasets: A Fault Tolerant. Abstraction for In Memory Cluster Computing
• Kinetic: Verifiable Dynamic Network Control
• Participatory Networking: An API for Application Control of SDNs
• Composing Software Defined Networks
• Modular SDN Programming with Pyretic

;login

• The Rise and Fall of the Operating System
• Exploring Controller Area Networks
• Modular SDN Programming with Pyretic

DSL

• Tierless Programming and Reasoning for Software Defined Networks
• A Compiler and Run time System for Network Programming Languages
• Kinetic: Verifiable Dynamic Network Control
• Merlin: A Language for Provisioning Network Resources
• FatTire: Declarative Fault Tolerance for Software Defined Networks
• Composing Software Defined Networks

verification

• VeriCon: towards verifying controller programs in software defined networks
• Model Checking Invariant Security Properties in OpenFlow
• Kinetic: Verifiable Dynamic Network Control
• Checking beliefs in dynamic networks
• Real Time Network Policy Checking using Header Space Analysis

fault tolerance

• Resilient Distributed Datasets: A Fault Tolerant. Abstraction for In Memory Cluster Computing
• FatTire: Declarative Fault Tolerance for Software Defined Networks

middlebox

• Enabling End host Network Functions
• Rollback Recovery for Middleboxes
• Network Service Header draft ietf sfc nsh 01
• Stratos: A Network Aware Orchestration Layer for Virtual Middleboxes in Clouds
• PGA: Using Graphs to Express and Automatically Reconcile Network Policies
• Merlin: A Language for Provisioning Network Resources
• FatTire: Declarative Fault Tolerance for Software Defined Networks

view

• chapter 3 complementary and independent views
• Access control in a relational data base management system by query modification
• View based Data Integration
• Updating derived relations: detecting irrelevant and autonomously computable updates
• Implementation of integrity constraints and views by query modification
• Query containment for data integration systems
• Views for Multilevel Database Security
• MauveDB: Supporting Model based User Views in Database Systems
• Maintaining views incrementally
• Relational Lenses: A Language for Updatable Views
• Data Independence and Database Views
• The impact of the constant complement approach towards view updating
• Database System Concepts
• Data sharing in group work
• Alice book
• Provenance and Data Synchronization
• On Rules, Procedures, Caching and Views In Database Systems
• Virtual Schemas and Bases
• Views, Objects, and. Databases
• Maintenance of Materialized Views Problems Techniques and Applications

API

• Participatory Networking: An API for Application Control of SDNs

QoS

• Participatory Networking: An API for Application Control of SDNs

application pearls

• Micro Load Balancing in Data Centers with DRILL
• Plug-n-Serve: Load Balancing Web Traffic using OpenFlow
• Dynamic Placement of Virtual Machines for Managing SLA Violations

label switching

• FlowTags: Enforcing Network Wide Policies in the Presence of Dynamic Middlebox Actions

streaming database

• Gigascope: High Performance Network Monitoring with an. SQL Interface
• Gigascope: A Stream Database for Network Applications

network monitoring

• Compiling Path Queries in Software Defined Networks
• Gigascope: High Performance Network Monitoring with an. SQL Interface

load balancing

• Plug-n-Serve: Load Balancing Web Traffic using OpenFlow

network management

• Network Wide Decision Making: Toward A Wafer Thin Control Plane
• Dynamic Connectivity Management with an Intelligent Route Service Control Point
• Network management by delegation: the MAD approach
• Discovering Dependencies for Network Management
• CONMan: Taking the Complexity out of Network Management
• A Knowledge Plane for the Internet
• Towards Systematic Design of Enterprise Networks
• FIND Observer Panel Report April, 2009
• New Frontiers in Internet Network Management

OS

• The Rise and Fall of the Operating System
• Onix: A Distributed Control Platform for Large scale Production Networks
• Operating System Support for Database Management

network orchestration

• Stratos: A Network Aware Orchestration Layer for Virtual Middleboxes in Clouds
• The Preliminary Design and Implementation of the Maestro Network Control Platform
• A Network-state Management Service
• Shedding light on the glue logic of the Internet routing architecture

security

• Exploring Controller Area Networks
• Model Checking Invariant Security Properties in OpenFlow
• FIND Observer Panel Report April, 2009

interoperability

• Protocols for Integrity Constraint Checking in Federated Databases
• Interoperability of multiple autonomous databases

SDX

• The SoftRouter Architecture

active database

• Active Database Systems (Widom)
• On Rules, Procedures, Caching and Views In Database Systems
• Active Database Systems

constraint optimization

• Towards Systematic Design of Enterprise Networks
• Cologne: A Declarative Distributed Constraint Optimization Platform

network provisioning

• Merlin: A Language for Provisioning Network Resources

NFV

• PGA: Using Graphs to Express and Automatically Reconcile Network Policies

data sharing

• A principle for resilient sharing of distributed resources
• Reconciling while Tolerating Disagreement in. Collaborative Data Sharing
• ORCHESTRA: Rapid, Collaborative Sharing of Dynamic Data
• Data sharing in group work
• Schema Mediation in Peer Data Management Systems
• Provenance and Data Synchronization
• Orchestra: Facilitating Collaborative Data Sharing

declarative networking

• Practical Declarative Network Management

book

• Automated Theorem Proving
• Database System Concepts
• Alice book

concurrency

• concurrency control and recovery in database systems
• An Algorithm for Concurrency Control and Recovery in Replicated Distributed Databases
• Rethinking Eventual Consistency
• Software transactional networking: concurrent and consistent policy composition
• Data sharing in group work

seminal

• Relational database: a practical foundation for productivity

data model

• A relational model of data for large shared data banks

testbed

• An Integrated Experimental Environment for Distributed Systems and Networks

data integration

• View based Data Integration
• Data Integration: A Theoretical Perspective
• The TSIMMIS Project: Integration of Heterogenous Information Sources

architecture

• Simplifying network administration using policy based management
• A Clean Slate 4D Approach to Network Control and Management

hypervisor

• FlowVisor: A Network Virtualization Layer
• CoVisor: A Compositional Hypervisor for Software Defined Networks

virtualization

• Virtualizing the network forwarding plane
• Network Service Header draft ietf sfc nsh 01
• Network Virtualization in Multi tenant Datacenters
• The Design and Implementation of Open vSwitch
• Carving Research Slices Out of Your Production Networks with OpenFlow

resource sharing

• Mesos: A Platform for Fine Grained Resource Sharing in the Data Center
• Corybantic: Towards the Modular Composition of SDN Control Programs

TE

• HERCULES: Integrated Control Framework for Datacenter Traffic Management

coursera

• Databases: DB10 Indexes and Transactions

dependency

• Automating network application dependency discovery: experiences, limitations, and new solutions
• Discovering Dependencies for Network Management

random

• MauveDB: Supporting Model based User Views in Database Systems

datalog

• Declarative Routing: Extensible Routing with Declarative Queries
• Declarative Networking: Language, Execution and Optimization

synthesis

• STOKE: Program Optimization and Synthesis using Randomized Search

random search

• STOKE: Program Optimization and Synthesis using Randomized Search

talk

• STOKE: Program Optimization and Synthesis using Randomized Search

integrity constraint

• Deriving Production Rules for Constraint Maintenance
• Protocols for Integrity Constraint Checking in Federated Databases

opencourseware

• Automata, Computability, and Complexity Or, Great Ideas in Theoretical Computer Science

schema

• How Schema Independent Are Schema Free Query Interfaces?

query optimization

• An overview of query optimization in relational systems

theorem proving

• Automated Theorem Proving

logic

• Logic Programming
• Automated Theorem Proving

view update

• Local ambiguity and derived data update
• Updating derived relations: detecting irrelevant and autonomously computable updates

BGP

• SDX: A Software Defined Internet Exchange

IXP

• There is more to IXPs than meets the eye
• Anatomy of a Large European IXP
• SDX: A Software Defined Internet Exchange

transaction

• Transactions and consistency in distributed database systems
• Software transactional networking: concurrent and consistent policy composition

rule

• The Integration of Rule Systems and Database Systems
• Deriving Production Rules for Constraint Maintenance
• Local ambiguity and derived data update

network update

• ESPRES: Transparent SDN Update Scheduling
• Abstractions for Network Update

NSDI15

• A General Approach to Network Configuration Analysis

vehicular

• VProof: Lightweight Privacy Preserving Vehicle Location Proofs
• SmartArgos: Improving Mobile Surveillance Systems with Software Defined Networks
• A survey of urban vehicular sensing platforms
• Vehicular Networking: A Survey and Tutorial on Requirements, Architectures, Challenges, Standards and Solutions
• Exploring Controller Area Networks

SIGCOMM14

• Millions of Little Minions: Using Packets for Low Latency Network Programming and Visibility

active networks

• Millions of Little Minions: Using Packets for Low Latency Network Programming and Visibility

emulation

• Reproducible network experiments using container based emulation
• High fidelity switch models for software defined network emulation
• A Network in a Laptop: Rapid Prototyping for Software Defined Networks

HotSDN

• Compiling Path Queries in Software Defined Networks
• Flow level State Transition as a New Switch Primitive for SDN
• ESPRES: Transparent SDN Update Scheduling
• High fidelity switch models for software defined network emulation

Y2013

• High fidelity switch models for software defined network emulation

data

• Making Big Data Processing Simple with Spark
• 50 years of Data Science

Y2014

• Compiling Path Queries in Software Defined Networks
• Flow level State Transition as a New Switch Primitive for SDN
• ESPRES: Transparent SDN Update Scheduling

mining

• Mining Policies From Enterprise Network Configuration

OpenFlow

• OpenFlow Enabled Mobile and Wireless Networks
• OpenFlow: Enabling Innovation in Campus Networks

consistency

• Rethinking Eventual Consistency

wireless

• Software Defined Networking Paradigms in Wireless Networks: A Survey
• OpenFlow Enabled Mobile and Wireless Networks
• SmartArgos: Improving Mobile Surveillance Systems with Software Defined Networks

formalization

• Will Computers Redefine the Roots of Math?

policy

• A policy framework for integrated and differentiated services in the Internet

authorization

• An Authorization Mechanism for a Relational Database System

cloud

• SDN for the Cloud

AOP

• Aspect oriented programming ECOOP

traffic engineering

• Internet Traffic Engineering by Optimizing OSPF Weights

OSPF

• Internet Traffic Engineering by Optimizing OSPF Weights

MPLS

• Internet Traffic Engineering by Optimizing OSPF Weights

cellular

• SoftCell: Scalable and Flexible Cellular Core Network Architecture

failure

• NetPilot: Automating Datacenter Network Failure Mitigation

configuration

• Shadow configuration as a network management primitive