34654890
An efficient recovery procedure for fault tolerance in distributed systems
Abstract In this article, the problem of fault tolerance in real-time distributed systems is addressed by providing an efficient algorithmic procedure for recovery in such systems. Our recovery procedure does not require the application of an intrusive checkpointing procedure, but uses contextual information exchanged between the distributed system components during normal system progress. On detection of a failure, each process, through an efficient propagation mechanism, will have locally computed a recovery point that is mutually consistent with the recovery points computed by other processes. During recovery, each process considers the contextual information recorded after its established recovery point; a minimal amount of computations are redone. Also, a minimal number of processes are required to roll back, and the time needed to revert to normal operation is found to be minimal, thus contributing to the real-time requirements for such systems. Furthermore, the stable storage requirement needed to implement our recovery procedure is bounded and minimal. Proofs of correctness of our procedure are provided, in particular, the absence of orphan messages, message losses, and duplications is shown. An example illustrating our recovery procedure is also provided.
14456979
Supporting Quality of Service in IP multicast networks
Developers and providers of data, voice and video applications have to satisfy numerous Quality of Service (QoS) requirements and cope with different architectures emerging to provide these QoS in the Internet. IntServ, DiffServ or MPLS are technologies currently used in different administrative domains in the Internet to provide QoS. With multicast applications emerging, such as video conferencing, distance learning and tele surgery, it has become almost impossible to provide end-to-end QoS over multiple administrative business domains without interworking these technologies. This paper analyses general issues on supporting QoS for multicast applications and reviews different ways to implement IP multicasting in IntServ, DiffServ or MPLS based networks. Subsequently, network configurations based on these different architectures and their interworking to provide end-to-end QoS are also discussed.
13650022
Recovery Approach to the Design of Stabilizing Communication Protocols
This paper addresses the problem of designing stabilizing computer communication protocols modelled by communicating finite state machines. A communication protocol is said to be stabilizing if, starting from or reaching any illegal state, the protocol will eventually reach a legal (or consistent) state, and resume its normal execution. To achieve stabilization, the protocol must be able to detect the error as soon as it occurs, and then it must recover from that error and revert back to a legal protocol state. The later issue related to recovery is tackled here, and an efficient procedure for the recovery in communications protocols is described. The recovery procedure does not require periodic checkpointing and, therefore, is less intrusive. It requires less time for rollback and fewer recovery control messages than other procedures. Only a minimal number of processes will roll back, and a minimal number of protocol messages will be retransmitted during recovery. Moreover, our procedure requires minimal stable storage to be used to record contextual information exchanged during the progress of the protocol. Finally, our procedure is compared with an existing recovery procedure, and an illustrative example is provided.
2557933
Packet loss probability for DiffServ over IP and MPLS reliable homogeneous multicast networks
Multicasting has become increasingly important with the emergence of Internet-based applications such as IP telephony, audio/video conferencing, distributed databases and software upgrading. IP multicasting is an efficient way to distribute information from a single source to multiple destinations at different locations. In practice IP is considered as a layer 3 protocol. Multiprotocol Label Switching (MPLS) replaces the IP forwarding by a simple label lookup. MPLS combines the flexibility of layer 3 routing and layer 2 switching.In order to provide QoS in group communications for real time applications such as video conferencing, reliable multicasting is used. Miscellaneous efforts have been undertaken to provide reliability on top of IP multicast. Two error control strategies have been popular in practice. These are the FEC (Forward Error Correction) strategy, which uses error correction alone, and the ARQ (Automatic Repeat Request) strategy, which uses error detection, combined with retransmission of data.In this paper, we present a new fair share policy (FSP) that utilizes Differentiated Services to solve the problems of QoS and congestion control when reliable ARQ multicast is used. The results should provide insight into the comparisons of the residual packet loss probability between IP multicast in MPLS networks using FSP and plain IP multicasting using the same policy when DiffServ are adopted and when reliable ARQ multicast is considered.
8220547
A tree division approach to support local failure recovery for multicasting in MPLS networks
This paper introduces a novel approach to support local failure recovery in multicast trees. Although, the presented approach can be implemented in any large backbone network that employs multicast communication mode, we concentrate our discussion on MPLS networks. In the proposed approach, a multicast tree is divided into several domains where each domain represents a sub-tree of the original one. Backup paths are built between the root of the domain and each leaf router which is called a border router. Simulation results conducted on two network topologies show the performance of the proposed approach in terms of the total capacity required for reserving the backup paths and in terms of the maximum delay needed to notify about link/node failure. The results have shown that tree division approach compared with global recovery approach reduces the time needed to notify the router that is responsible for switching the traffic to the backup path.
37303795
Validation of SIP/H.323 Interworking Using SDL/MSC
SIP and H.323 are complementary protocols used (by different communities) to provide signaling for Internet multimedia sessions. An Interworking Facility (IWF) between SIP and H.323 has been proposed within the Internet Engineering Task Force (IETF). The IWF, SIP User Agent, SIP Server, H.323 End Point, and H.323 Gatekeeper have been formally specified in SDL, and validated using a combination of MSC comparison and interactive simulation. SDL was found to be simple to use, and its object-orientation made model enhancement easy. Suggested improvements to SDL include more flexible ways to define data.
206717449
Tracking Articulated Motion Using a Mixture of Autoregressive Models
We present a novel approach to modelling the non-linear and time-varying dynamics of human motion, using statistical methods to capture the characteristic motion patterns that exist in typical human activities. Our method is based on automatically clustering the body pose space into connected regions exhibiting similar dynamical characteristics, modelling the dynamics in each region as a Gaussian autoregressive process. Activities that would require large numbers of exemplars in example based methods are covered by comparatively few motion models. Different regions correspond roughly to different action-fragments and our class inference scheme allows for smooth transitions between these, thus making it useful for activity recognition tasks. The method is used to track activities including walking, running, etc., using a planar 2D body model. Its effectiveness is demonstrated by its success in tracking complicated motions like turns, without any key frames or 3D information.
39910433
Augmented neural networks for task scheduling
Abstract We propose a new approach, called Augmented Neural Networks (AugNN) for solving the task-scheduling problem. This approach is a hybrid of the heuristic and the neural networks approaches. While retaining all the advantages of the heuristic approach, AugNN incorporates learning, to find improved solutions iteratively. This new framework maps the problem structure to a neural network and utilizes domain specific knowledge for finding solutions. The problem we address is that of minimizing the makespan in scheduling n tasks on m machines where the tasks follow a precedence relation and task pre-emption is not allowed. Solutions obtained from AugNN using various learning rules are compared with six different commonly used heuristics. AugNN approach provides significant improvements over heuristic results. In just a few iterations, the gap between the lower bound and the obtained solution is reduced by as much as 58% for some heuristics, without any increase in computational complexity. While the heuristics found solutions in the range of 5.8–26.9% of the lower bound, on average, AugNN found solutions in the range of 3.3–11.1%, a significant improvement.
117080125
Logarithmic Regret Algorithms for Online Convex Optimization
In an online convex optimization problem a decision-maker makes a sequence of decisions, i.e., chooses a sequence of points in Euclidean space, from a fixed feasible set. After each point is chosen, it encounters a sequence of (possibly unrelated) convex cost functions. Zinkevich [Zin03] introduced this framework, which models many natural repeated decision-making problems and generalizes many existing problems such as Prediction from Expert Advice and Cover’s Universal Portfolios. Zinkevich showed that a simple online gradient descent algorithm achieves additive regret$O({\sqrt{T}})$, for an arbitrary sequence of T convex cost functions (of bounded gradients), with respect to the best single decision in hindsight. 
 
In this paper, we give algorithms that achieve regret O(log(T)) for an arbitrary sequence of strictly convex functions (with bounded first and second derivatives). This mirrors what has been done for the special cases of prediction from expert advice by Kivinen and Warmuth [KW99], and Universal Portfolios by Cover [Cov91]. We propose several algorithms achieving logarithmic regret, which besides being more general are also much more efficient to implement. 
 
The main new ideas give rise to an efficient algorithm based on the Newton method for optimization, a new tool in the field. Our analysis shows a surprising connection to follow-the-leader method, and builds on the recent work of Agarwal and Hazan [AH05]. We also analyze other algorithms, which tie together several different previous approaches including follow-the-leader, exponential weighting, Cover’s algorithm and gradient descent.
958128
The Panum Proxy Algorithm for Dense Stereo Matching over a Volume of Interest
Stereo matching algorithms conventionally match over a range of disparities sufficient to encompass all visible 3D scene points. Human vision however does not do this. It works over a narrow band of disparities - Panum’s fusional band - whose typical range may be as little as 1/20 of the full range of disparities for visible points. Points inside the band are fused visually and the remainder of points are seen as "diplopic" - that is with double vision. The Panum band restriction is important also in machine vision, both with active (pan/tilt) cameras, and with high resolution cameras and digital pan/tilt.
16989082
A Layered Architecture for NOC Design Methodology
ABSTRACT Multiprocessor system on chip (MPSoC) platform is an innovative trend of System on Chip (SoC) that enhances system performance. Demanding quality of service parameters and performance metrics, especially in mobile applications, are leading to the exploration of even more innovative architectures for SoC. These will have to incorporate highly scalable, reusable, predictable, cost and energy efficient architectures. Network on Chip (NOC) is a key example of this trend. NOC separates computing and communication concerns in an elegant manner. We propose here a seven layered architecture for designing NOC-based systems. Such a platform can separate domain specific issues in separate layers, which will allow for more effective modeling of concurrency and synchronization issues, in an attempt to develop an optimized system. For such a layered architecture, models of computation (MOC) will provide a framework to model various algorithms and activities, while accounting for and exploiting concurrency and synchronization aspects. These MOCs may differ from one to another NOC region. Further, a combination of these MOCs may be needed to truly represent a given NOC region. We have analyzed various models of computation (MOC) suitable for NOC. MLDesigner provides a system level modeling platform which allows one to integrate such MOCs together. We present our efforts and experiences so far.