7646347
Provisioning overlay distribution networks
Future entertainment services are expected to be increasingly interactive, on demand and personalized. This paper aims to address the challenge of provisioning network and server resources to support the distribution of these services over the Internet. We propose the Overlay Distribution Network (ODN) as a cost-effective means to deliver these services. Because ODNs are created over shared network and server infrastructure, the provisioning problem becomes significantly complex. The paper formulates this problem as a joint resource provisioning and content replication optimization. The resulting formulation is proved to be NP-complete. We solved this problem with an efficient Lagrangian heuristic. Further, content clustering is employed to improve the heuristic run time. Initial results show that this is efficient. In some cases, clustering allows solutions with very similar quality to be achieved at a 20 times reduction in complexity.
14928068
Traffic engineering for MPLS-based virtual private networks
This paper considers the traffic engineering of MPLS-based Virtual Private Networks (VPNs) with multiple classes of service in an offline and centralised setting. We focus on two main issues. Firstly, we point out that the one label switched path (LSP) per ingress-egress pair constraint can be relaxed for the case of MPLS-based VPNs due to the ease in classifying flows on a per-VPN basis. This allows us to use LSP with finer granularity and thus better load balancing. Secondly, we point out that the single objective traffic engineering formulations proposed in literature address only one particular aspect of the traffic engineering problem. In this paper, we propose a multiobjective traffic engineering problem which takes resource usage, link utilisation and number of LSPs into account. The proposed optimisation problem is NP-complete and involves a large number of variables. We propose an heuristic to solve this problem.
8147679
Deploying long-lived and cost-effective hybrid sensor networks
In this paper, we consider the problem of network deployment in hybrid sensor networks, consisting of both resource-rich and resource-impoverished sensor devices. The resource-rich devices, called micro-servers, are more expensive but have significantly greater bandwidth and energy capabilities compared to the low-cost, lowpowered sensors. Such hybrid sensor networks have the potential to support the higher bandwidth communications of broadband sensor networking applications, as
6876063
Popularity-wise proxy caching for interactive streaming media
Most of the current proxy caching algorithms for streaming video media assume that users favor the beginning of the media object. However, this assumption is questionable in highly interactive scenarios, such as e-learning, where some parts of the video other than the prefix can also be popular. A new segment-based proxy caching algorithm, named popularity-wise caching, is proposed for highly interactive streaming. It is designed to deal with arbitrary popularity distribution of media content. Simulations are performed using synthetic traces with different kinds and levels of user interactivity. The results show that the performance of current segment-based caching (such as exponential caching and soccer caching) degrade with increasing user interactivity, while popularity-wise caching can provide the lowest user startup latency for interactive requests and highest bandwidth saving for the backbone network.
7989034
Internal popularity of streaming video and its implication on caching
As most proxy caches for streaming media cache only a part of the video, the most important issue for a caching algorithm is to determine which portion of the video should be cached. Due to different part of the video can have different popularity, the studying of the internal popularity characteristics of streaming videos is very important for the development of efficient cache mechanisms. In this paper, we showed that the internal popularity of the majority of the most popular videos obeys a k-transformed Zipf-like distribution through analyzing two 7-month long traces recorded at different streaming video servers of an entertainment video-on-demand provider. Based on this empirical internal popularity distribution model, we then proposed a new dynamical caching algorithm. The results of simulations proved that this algorithm can have better performance than algorithms based on other models and it has similar performance compare with fine-grained caching but requires significantly less state information.
3122979
A dynamic caching algorithm based on internal popularity distribution of streaming media
Most proxy caches for streaming videos do not cache the entire video but only a portion of it. This is partly due to the large size of video objects. Another reason is that the popularity of different parts of a video can be different, e.g., the prefix is generally more popular. Therefore, the development of efficient cache mechanisms requires an understanding of the internal popularity characteristics of streaming videos. This paper has two major contributions. Firstly, we analyze two 6-month long traces of RTSP video requests recorded at different streaming video servers of an entertainment video-on-demand provider, and show that the traces provide evidence that the internal popularity of the majority of the most popular videos obeys a k-transformed Zipf-like distribution. Secondly, we propose a caching algorithm which exploits this empirical internal popularity distribution. We find that this algorithm has similar performance compared with fine-grained caching but requires significantly less state information.
41218825
Relaxed game chromatic number of graphs
This paper discusses a coloring game on graphs. Let k, d be non-negative integers and C a set of k colors. Two persons, Alice and Bob, alternately color the vertices of G with colors from C, with Alice having the first move. A color i is legal for an uncolored vertex x if by coloring x with color i, the subgraph of G induced by those vertices of color i has maximum degree at most d. Each move of Alice or Bob colors an uncolored vertex with a legal color. The game is over if either all vertices are colored, or no more vertices can be colored with a legal color. Alice's goal is to produce a legal coloring which colors all the vertices of G, and Bob's goal is to prevent this from happening. We shall prove that if G is a forest, then for k = 3, d ≥ 1, Alice has a winning strategy. If G is an outerplanar graph, then for k = 6 and d ≥ 1, Alice has a winning strategy.
15149925
A Formal Theory of Undirected Graphs in Higher-Order Logic
This paper describes a formal theory of undirected (labeled) graphs in higher-order logic developed using the mechanical theoremproving system HOL. It formalizes and proves theorems about such notions as the empty graph, single-node graphs, finite graphs, subgraphs, adjacency relations, walks, paths, cycles, bridges, reachability, connectedness, acyclicity, trees, trees oriented with respect to roots, oriented trees viewed as family trees, top-down and bottom-up inductions in a family tree, distributing associative and commutative operations with identities recursively over subtrees of a family tree, and merging disjoint subgraphs of a graph. The main contribution of this work lies in the precise formalization of these graph-theoretic notions and the rigorous derivation of their properties in higher-order logic. This is significant because there is little tradition of formalization in graph theory due to the concreteness of graphs. A companion paper [2] describes the application of this formal graph theory to the mechanical verification of distributed algorithms.
13565274
Optimized allocation of distributed applications across local area networks
Enterprise-wide distributed computing systems are inherently stochastic and the performance management of distributed applications running on the top of DCS is a complex and computationally hard task, in this paper, we define the enterprise distributed application and provide queueing analysis on the relationship between the application level performance parameters and the network and computer system parameters. We also provide a binary integer programming (BIP) model and a case study on how to allocate application components across an enterprise local area network.
29521519
Linear Broadcast Routing
Abstract In this paper we examine the problem of performing broadcasts in networks where the messages are constrained to follow linear paths. Many high speed networks, where routing is done in specialized hardware, have this characteristic. We show that the general problem is NP-complete but find a polynomial time approximation algorithm which is guaranteed to provide a solution which is within twice the optimal. We also suggest some generalizations of this work and propose several open problems.
14766680
QoS Driven Parallelization of Resources to Reduce File Download Delay
In this paper, we propose a novel approach for reducing the download time of large files over the Internet. Our approach, known as parallelized file transport protocol (P-FTP), proposes simultaneous downloads of disjoint file portions from multiple file servers. P-FTP server selects file servers for the requesting client on the basis of a variety of QoS parameters, such as available bandwidth and server utilization. The sensitivity analysis of our file server selection technique shows that it performs significantly better than random selection. During the file transfer, P-FTP client monitors the file transfer flows to detect slow servers and congested links and adjusts the file distributions accordingly. P-FTP is evaluated with simulations and real-world implementation. The results show at least 50 percent reduction in download time when compared to the traditional file-transfer approach. Moreover, we have also carried out a simulation-based study to investigate the issues related to large scale deployment of our approach on the Internet. Our results demonstrate that a large number of P-FTP users has no adverse effect on the performance perceived by non-P-FTP users. In addition, the file servers and network are not significantly affected by large scale deployment of P-FTP