Traditional networking is hardware-based, having the control plane coupled with the data
plane. Software-Defined Networking (SDN), which has a logically centralized control plane …

Internet of things (IoT) facilitates billions of devices to be enabled with network connectivity
to collect and exchange real-time information for providing intelligent services. Thus, IoT …

How to debug large networks is always a challenging task. Software Defined Network (SDN)
offers a centralized con-trol platform where operators can statically verify network policies …

The vertical integration of equipment in the current networks doesn't automatically adapt to
different high-level policies, the network operator is forced to configure manually all …

Identifying the network-wide forwarding behaviors of a packet is essential for many network
management applications, including rule verification, policy enforcement, attack detection …

Computer networks are becoming increasingly complex today and thus prone to various
network faults. Traditional testing tools (eg, ping, traceroute) that often involve substantial …

Packet classification is used to determine the behavior of incoming packets in network
devices. The development of algorithms for packet classification that can be applied in a …

Software defined networks provide new opportunities for automating the process of network
debugging. Many tools have been developed to verify the correctness of network …

Packet classification has been a key technology to quickly identify an action to be taken on a
packet at a switch. Several advanced applications, most of which have been introduced …

Discusses work in progress on a complete eigensolver based on the symmetric invariant
subspace decomposition algorithm (SYISDA) for dense symmetric matrices. We describe a …