22054365
Study of a Simulated Stream Machine for Dataflow Computation
Abstract In this paper, a stream-based dataflow architecture is proposed, and its simulation model, which has helped to evaluate the effectiveness of the proposed architectural concept, is discussed. The machine integrates the conventional Von Neumann type of control flow subsystem with a dataflow processing element of token storage type. The control flow unit tackles the dynamic nature of the stream structure including input/output whereas the dataflow unit does the computation part in an applicative style. A pipelined version of the stream machine is also discussed. The effectiveness of the machine is studied by running a few example programs in the simulated machine. The machine is expected to be useful in real time signal processing applications.
32010004
Binary Self-Stabilization in Distributed Systems
Abstract Dijkstra introduced the problem of self-stabilization in distributed systems as an interesting exercise for achieving global convergence using local actions. In all the papers dealing with self-stabilizing systems so far, it has been assumed that each component machine of the distributed system has at least three states. This paper illustrates that it is feasible to design a self-stabilizing system with two-state or binary machines at the expense of a larger atomicity.
43770248
Self-Stabilizing Algorithms for Finding Centers and Medians of Trees
Locating a center or a median in a graph is a fundamental graph-theoretic problem. Centers and medians are especially important in distributed systems because they are ideal locations for placing resources that need to be shared among different processes in a network. This paper presents simple self-stabilizing algorithms for locating centers and medians of trees. Since these algorithms are self-stabilizing, they can tolerate transient failures. In addition, they can automatically adjust to a dynamically changing tree topology. After the algorithms are presented, their correctness is proven and upper bounds on their time complexity are established. Finally, extensions of our algorithms to trees with arbitrary, positive edge costs are sketched.
17834776
Self-stabilizing algorithms for finding centers and medians of trees
Locating a center or a median in a graph is a fundamental graph-theoretic problem. Centers and medians are especially important in distributed systems because they are ideal locations for placing resources that need to be shared among dierent processes in a network. This paper presents simple self-stabilizing algorithms for locating centers and medians of trees. Since these algorithms are self-stabilizing, they can tolerate transient failures. In addition, they can automatically adjust to a dynamically changing tree topology. After the algorithms are presented, their correctness is proven and upper bounds on their time complexity are established. Finally, extensions of our algorithms to trees with arbitrary, positive edge costs are sketched.
9120365
A self-stabilizing algorithm for the maximum flow problem
Summary. The maximum flow problem is a fundamental problem in graph theory and combinatorial optimization with a variety of important applications. Known distributed algorithms for this problem do not tolerate faults or adjust to dynamic changes in network topology. This paper presents a distributed self-stabilizing algorithm for the maximum flow problem. Starting from an arbitrary state, the algorithm computes the maximum flow in an acyclic network in finitely many steps. Since the algorithm is self-stabilizing, it is inherently tolerant to transient faults. It can automatically adjust to topology changes and to changes in other parameters of the problem. The paper presents results obtained by extensively experimenting with the algorithm. Two main observations based on these results are (1) the algorithm requires fewer than n2 moves for almost all test cases and (2) the algorithm consistently performs at least as well as a distributed implementation of the well-known Goldberg-Tarjan algorithm for almost all test cases. The paper ends with the conjecture that the algorithm correctly computes a maximum flow even in networks that contain cycles.
3086074
An Exercise in Fault-Containment: Self-Stabilizing Leader Election
Self-stabilizing algorithms are designed to guarantee convergence to some desired stable state from arbitrary initial states arising out of an arbitrarily large number of faults. However, in a well-designed system, the simultaneous occurrence of a large number of faults is rare. It is therefore desirable to design algorithms that are not only self-stabilizing, but also have the ability to recover very fast from a bounded number of faults. As an illustration, we present a simple self-stabilizing leader election protocol that recovers in O(1) time from a state with a single transient fault on oriented rings. Only the faulty node and its two neighbors change their state during convergence to a stable state. Thus, the effect of a single fault is tightly contained around the fault. The technique for transforming a self-stabilizing algorithm into its fault-contained version is simple and general, and can be applied to other problems as well that satisfy certain properties.
972043
Stochastic Modeling of Cytoplasmic Reactions in Complex Biological Systems
The use of “in silico” stochastic event based modeling can identify the dynamic interactions of different processes in a complex biological system. This requires the computation of the time taken by different events in the system based on their biological functions. One such important event is the reactions between the molecules inside the cytoplasm of a cell. We present a mathematical formulation for the estimation of the reaction time between two molecules within a cell based on the system state. We derive expressions for the average and second moment of the time for reaction to be used by our stochastic event-based simulation. Unlike rate equations, the proposed model does not require the assumption of concentration stability for multiple molecule reactions.
7750491
Revisiting correlations and scheduling in Web servers
Mathematical models play an important role in the design, analysis, control, optimization, management andplanning of Web server systems. To be most effective in each of these areas, such models must capture in sufficient detail the key characteristics of Web server workloads, the key characteristics of Web server scheduling policies for executing these workloads, and the impact of these workload and scheduling policy characteristics on Web server performance and related measures . Of particular interest in our study are very efficient mathematical methods that can be exploited online to support an increasingly important range of real-time applications (e .g., dynamic control of quality of service in Web servers to best satisfy service-level agreements), as well as in efficient interactive tools often used offline for many different purposes (e.g., what-ifanalysis and stochastic optimization for capacity planning). A significant body of research has investigated the workloads found in practice at a wide variety of Web server environments ; e.g ., see [1, 8, 18]. Most of these studies have demonstrated that the client request patterns exhibited at many different types of Web server environments have strong dependence structures and that the requested files sizes at these Web servers are independent and identically distributed (i .i .d.) according to a heavy-tailed or subexponential distribution . However, the vast majority of these studies appear to have completely ignored the issue of whether there is any correlation between the client request arrival times and the requested file sizes or the request service times. This includes studies of Web server workload characterization and generation, Web server performance models, and Web server scheduling policies . In this study, we consider data from various commercial Web server environments to revisit the issues of different forms of correlation in these Web server workloads and their implications on Web server performance and scheduling policies . Theresults ofour data analysis demonstrate the existence ofsignificant dependencies between the client request interarrival times and the corresponding file sizes and service times. Our analysis also shows a strong dependence structure within the interarrival process of client requests, whereas the sequence of service times is essentially i .i .d . To the best ofour knowledge, this is the first study to identify and quantify significant dependencies between the arrival and service processes in Web server environments (as opposed to network environments, where this issue goes all the way back to Kleinrock [15]). We then investigate the source of this cross correlation between the client request interarrival times and the corresponding file sizes and service times. The results of our data analysis support the view that such cross correlations are primarily due to certain mixing effects involving the superposition of different classes of client requests each with different service requirements . We next turn to consider a mathematical analysis of queueing Mark S. Squillante Mathematical Sciences Department IBM Thomas J. Watson Research Center Yorktown Heights, NY 10598, USA mss@watson .ibm .com
544524
Chessboard distributions
We review chessboard distributions for modeling partially specified finite-dimensional random vectors. Chessboard distributions can match a given set of marginals, a given covariance structure, and various other constraints on the distribution of a random vector. It is necessary to solve a potentially large linear program to set up a chessboard distribution, but random vectors can then be rapidly generated.
6735470
FraNtiC: A Fractal Geometric Framework for Mesh-Based Wireless Access Networks
The design of the access networks of next generation broadband wireless systems requires special attention in the light of changing network characteristics. In this paper, we present a mesh-based distributed radio access network (RAN) framework for future wireless systems. Using short, high bandwidth optical wireless links to interconnect the various network elements, we identify a generic fractal or self similar structure in the network. A mathematical model for the framework is presented and the benefits of its scale-invariant properties on robustness, reliability and flexibility analyzed. We focus on three design parameters - carrier-class network reliability, network exposure due to failure conditions and system cost. The dynamics of these parameters on our proposed architecture are studied and compared against existing access network topologies like tree/ring and square-grid. The generality and recursive nature of our framework lends itself to be applied in interconnecting various heterogeneous broadband wireless access networks of the future
25755124
An Algorithm for Computing a Convex and Simple Path of Bounded Curvature in a Simple Polygon

AbstractAbstract. In this paper we study the collision-free path planning problem for a point robot, whose path is of bounded curvature(i.e., constrained to have curvature at most 1), moving in the plane inside an n -sided simple polygon P . Given two points sand tinside Pand two directions of travel, one at sand one at t , the problem is to compute a convex and simple path of bounded curvature inside Pfrom sto tconsisting of straight-line segments and circular arcs such that (i) the radius of each circular arc is at least 1, (ii) each segment on the path is the tangent between the two consecutive circular arcs on the path, (iii) the given initial direction at sis tangent to the path at sand (iv) the given final direction at tis tangent to the path at t . We propose an O(n4)time algorithm for this problem. Using the notion of complete visibility, Pis pruned to another polygon P'such that any convex and simple path from sto tinside Palso remains inside P' . Then our algorithm constructs the locus of center of a circle of unit radius translating along the boundary of P'and, using this locus, the algorithm constructs a convex and simple path of bounded curvature. Our algorithm is based on the relationship between the Euclidean shortest path, link paths and paths of bounded curvature, and uses several properties derived here on convex and simple paths of bounded curvature. We also show that the path computed by our algorithm can be transformed in O(n)time to a minimalconvex and simple path of bounded curvature. Using this transformation and two necessary conditions proposed here for the shortest convex and simple path of bounded curvature, a minimalbounded curvature path is located in O(n4)time whose length, except in special situations involving arcs of length greater than π , is at most twice the length of a shortest convex and simple path of bounded curvature.
