3017976
Publish/Subscribe Tree Construction in Wireless Ad-Hoc Networks
Wireless ad-hoc publish/subscribe systems combine a publish/subscribe mechanism with wireless ad-hoc networking. The combination, although very attractive, has not been studied extensively in the literature. This paper addresses an important problem of such systems: how to construct an optimal publish/ subscribe tree for routing information from the source to all interested recipients. First we precisely define the optimality of a publish/subscribe tree by developing a metric to evaluate its "efficiency." The optimality metric takes into account both the goal of a publish/subscribe system (i.e., to route a set of events), and the characteristics of an ad-hoc network (for example, devices are resource limited). We propose a greedy algorithm, SHOPPARENT, which builds the publish/ subscribe tree in a fully distributed fashion. A key feature is that this algorithm can be "subscription-aware", allowing it to use publication/subscription information in order to find a better outcome. Our simulations show that SHOPPARENT's performance is within 15% of optimal under normal configurations. We also study the effect of geographically localized subscriptions.
14183146
Replicated condition monitoring
A condition monitoring system tracks real-world variables and alerts users when a predefined condition becomes true, e.g., when stock price drops, or when a nuclear reactor over-heats. Replication of monitoring servers can reduce the probability that an important alert is missed. However, replicated independent servers can sometimes report “conflicting” alerts to the user, causing confusion. In this paper, we study the problem of replicated condition monitoring. We identify and formally define three desirable properties of a replicated system, namely, orderedness, consistency, and completeness. We propose new monitoring algorithms that enforce some or all of the desired properties in different scenarios.
9264591
Exactly-once semantics in a replicated messaging system
A wide-area distributed message delivery system can use replication to improve performance and availability. However, without safeguards, replicated messages may be delivered to a mobile device more than once, making the device's user repeat actions (e.g. making unnecessary phone calls, firing weapons repeatedly). Alternatively, they may not be delivered at all, making the user miss important messages. In this paper, we address the problem of exactly-once delivery to mobile clients when messages are replicated globally. We define exactly-once semantics and propose algorithms to guarantee it. We also propose and define a relaxed version of exactly-once semantics which is appropriate for limited-capability mobile devices. We study the relative performance of our algorithms compared to the weaker at-least-once semantics, and find that the performance overhead of exactly-once can be minimized in most cases by careful design of the system.
53245927
Cellular disco: resource management using virtual clusters on shared-memory multiprocessors
Despite the fact that large-scale shared-memory multiprocessors have been commercially available for several years, system software that fully utilizes all their features is still not available, mostly due to the complexity and cost of making the required changes to the operating system. A recently proposed approach, called Disco, substantially reduces this development cost by using a virtual machine monitor that laverages the existing operating system technology. In this paper we present a system called Cellular Disco that extends the Disco work to provide all the advantages of the hardware partitioning and scalable operating system approaches. We argue that Cellular Disco can achieve these benefits at only a small fraction of the development cost of modifying the operating system. Cellular Disco effectively turns a large-scale shared-memory multiprocessor into a virtual cluster that supports fault containment and heterogeneity, while avoiding operating system scalability bottlenecks. Yet at the same time, Cellular Disco preserves the benefits of a shared-memory multiprocessor by implementing dynamic, fine-grained resource sharing, and by allowing users to overcommit resources such as processors and memory. This hybrid approach requires a scalable resource manager that makes local decisions with limited information while still providing good global performance and fault containment. In this paper we describe our experience with a Cellular Disco prototype on a 32-processor SGI Origin 2000 system. We show that the execution time penalty for this approach is low, typically within 10% of the best available commercial operating system formost workloads, and that it can manage the CPU and memory resources of the machine significantly better than the hardware partitioning approach.
15221020
Learning Declarative Control Rules for Constraint-BAsed Planning
Despite the long history of research in using machine learning to speed-up state-space planning, the techniques that have been developed are not yet in widespread use in practical planning systems. One limiting factor is that traditional domain-independent planning systems scale so poorly that extensive learned control knowledge is required to raise their performance to an acceptable level. Therefore, work in this area has focused on learning large numbers of control rules that are specific to the details of the underlying planning algorithms, which can be extremely costly. In recent years, a new generation of planning systems with much improved speed and scalability has become available. These systems formulate planning as solving a large constraint satisfaction problem. This formulation opens up the possibility that domain-specific control knowledge can be added to the planner in a purely declarative manner via a set of additional constraints. In this paper we present the first positive results on automatically acquiring such high-level, declarative constraints using machine learning techniques. In particular, we will show that a new heuristic method for generating training examples together with a rule induction algorithm can learn useful control rules in a variety of domains. Only a small number of rules are needed to reduce solution times by two orders of magnitude or more on larger problems, training times are short, and the learned rules can be exported to other planning systems.
8485722
The maximum genus of graphs with diameter three
Abstract This paper shows that if G is a simple graph with diameter three then G is up-embeddable unless G is either a Δ2-graph (Fig. 1) or a Δ3-graph (Fig. 2) with ξ(G) = 2, i.e., the maximum genus γM(G) = (β(G) − 2)/2.
12850870
Supporting Mobile Multimedia Services with Intermittently Available Grid Resources
Advances in high quality digital wireless networks and differentiated services have enabled the development of mobile multimedia applications that can execute in global infrastructures. In this paper, we introduce a novel approach to supporting mobile multimedia services by effectively exploiting the intermittently available idle computing, storage and communication resources in a Grid infrastructure. Specifically, we develop efficient resource discovery policies that can ensure continuous access to information sources and maintain application Quality-of-Service (QoS) requirements, e.g. required network transmission bandwidth on the mobile clients. Our performance studies indicate that mobility patterns obtained via tracking or user-supplied itineraries assist in optimizing resource allocation. The proposed policies are also resilient to dynamic changes in the availability of grid resources.
18171732
Data Placement in Intermittently Available Environments
In this paper, we address the problem of data placement in a grid based multimedia environment, where the resource providers, i.e. servers, are intermittently available. The goal is to optimize the system performance by admitting maximum number of users into the system while ensuring user Quality of Service (QoS). We define and formulate various placement strategies that determine the degree of replication necessary for video objects by using a cost-based optimization procedure based on predictions of expected requests under various time-map scenarios and QoS demands. We also devise methods for dereplication of videos based on changes in popularity and server usage patterns. Our performance results indicate the benefits obtained the judicious use of dynamic placement strategies.
29686713
A note on Ramsey numbers with two parameters
The Ramsey number R(G1, G2) is the smallest integer p such that for any graph G on p vertices either G contains G1 or G- contains G2, where G- denotes the complement of G. In this paper, some new bounds with two parameters for the Ramsey number R(G1, G2), under some assumptions, are obtained. Especially, we prove that R(K6 - e, K6) ≤ 116 and R(K6 - e, K7) ≤ 202, these improve the two upper bounds for the classical Ramsey number in [S.P. Radziszowski, Small Ramsey number, Electron. J. Combin. DSI (2002) 1-36].