The Internet has led to the creation of a digital society, where (almost) everything is
connected and is accessible from anywhere. However, despite their widespread adoption …

Emerging mega-trends (eg, mobile, social, cloud, and big data) in information and
communication technologies (ICT) are commanding new challenges to future Internet, for …

网络抽象促使软件定义网络(software-defined networking, 简称SDN) 的产生. SDN
将数据平面与控制平面解耦合, 简化了网络管理. 首先从SDN 诞生发展的背景入手, 梳理了SDN …

Software defined networking (SDN) decouples the network control and data planes. The
network intelligence and state are logically centralized and the underlying network …

The highly demanding Over-The-Top (OTT) multimedia applications pose increased
challenges to Internet Service Providers (ISPs) for assuring a reasonable Quality of …

The classical formulation of the program-synthesis problem is to find a program that meets a
correctness specification given as a logical formula. Recent work on program synthesis and …

Communication in data-parallel applications often involves a collection of parallel flows.
Traditional techniques to optimize flow-level metrics do not perform well in optimizing such …

Abstract Software-Defined Networking (SDN) is considered promising to simplify network
management and enable research innovations based on the decomposition of the control …

Compared with traditional network, Software Defined Networking (SDN) decouples control
plane and data plane, providing programmability to configure the network. In spite of such …

Recent years have seen growing interest in high-level languages for programming
networks. But the design of these languages has been largely ad hoc, driven more by the …