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.
10257099
An alternative solution to a problem on self-stabilization
Dijkstra [4, 5] introduced the problem of self-stabilization in distributed systems as an interesting exercise for achieving global convergence through local actions. In [4] he presented three solutions to a specific version of the self-stabilization problem, one of which was proved in [6]. This paper presents an alternative solution of his self-stabilization problem with four-state machines.
34174199
Selfish Stabilization
1421735
Scalable Self-Stabilization
This paper presents a methodology for a synchronous non-reactive distributed system on a tree topology to stabilize from a k-faulty configuration in a time independent of the size n of the system. In the proposed methodology, processes first measure and compare the sizes of the faulty regions, and then use this information to schedule actions in such a way that the size of the faulty regions progressively shrink, until they completely disappear. We demonstrate that when k processes fail, the stabilization time is O(k2). Apart from its applicability to a wide class of problems, the proposed method achieves scalability with a low space complexity of O(�.(�.k+log2n)) per process, where � is the maximum degree of a node.
31511581
Mutual Exclusion on a Hypercube
Abstract We present a decentralized, symmetric mutual exclusion algorithm that is tailored to the hypercube architecture. Our algorithm has better time complexity than a suitable hypercube adaptation of Maekawa′s O(√N) Mutual Exclusion algorithm. We show that, in the presence of contention, our algorithm has a shorter Blocking Delay than Maekawa′s algorithm. In the absence of contention, our algorithm achieves optimal Round-trip Delay under both the n-port and the one-port communication models.
11125013
A self-stabilizing algorithm for coloring planar graphs
SummaryThis paper describes an algorithm for coloring the nodes of a planar graph with no more than six colors using a self-stabilizing approach. The first part illustrates the coloring algorithm on a directed acyclic version of the given planar graph. The second part describes a selfstabilizing algorithm for generating the directed acyclic version of the planar graph, and combines the two algorithms into one.
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.
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.
29763170
Fractal image compression: a randomized approach
The fractal image compression is inherently time intensive and thus there is a growing need to increase its speedup. This paper presents a fast encoding scheme where the domain blocks are searched randomly for every range block. An analysis of the basic fractal image compression method has been carried out and on the basis of the analysis a method for image characterization has been proposed. Then a detailed theoretical analysis of this randomized fractal compression scheme has been presented and the results are validated with the experimental ones. The random approach has been found to be quite efficient giving considerable increase in speed-up compared to several other approaches.
30827173
Implementation of MPI over HTTP
Message Passing Interface[2] is the de facto standard for multicomputer and cluster message passing;. In this paper we explore a new paradigm of high performance distributed computing by implementing a message passing interface over HTTP[1]. This provides a platform independent implementation of MPI and also develops a base for web based computation to achieve global parallel processing. The conventional approach to message passing is through the use of Parallel Virtual Machine(PVM) or MPI software packages that optimize the communication and the synchronization functions for the message passing paradigm needed in high performance distributed computing environments. However the recent trend in Internet communication has been to use the HTTP for inter-linking information and files across the World Wide Web. The HTTP [1], over the years has matured to be a very efficient tool for communication and is fit enough to warrant consideration as a vehicle for inter-processor communication. The perfor ance of our implementation was compared with the standard MPI implementation over a cluster of workstations connected by a Shared Ethernet network and the results are very encouraging.
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