Compensation is a technique to roll-back a system to a consistent state in case of failure. Recovery mechanisms for compensating calculi specify the order of execution of compensation sequences. Dynamic recovery means that the order of execution is determined at runtime. In this paper, we define an extension of Compensating CSP, called DEcCSP, with general dynamic recovery. We provide a formal,...

In this paper an error recovery mechanism for SRAM based FPGA systems is presented. Previous recovery methods employ processor cores as a reconfiguration controller consuming notable amount of device resources and introducing additional error detection and recovery latency. The described mechanism is controlled by a finite state machine architecture providing small hardware overhead and short r...

Architecture recovery from legacy systems has been claimed to offer great contributions to software maintenance and reuse. Most of the approaches to architecture recovery is based on the static analysis of systems and lack a sound support to architectural elements identification. In this context, this paper presents an approach to architecture recovery based on dynamic analysis of systems. The ...

In this paper, we propose an algorithm for estimating dense depth information of dynamic scenes from multiple video streams captured using unsynchronized stationary cameras. We solve this problem by first imposing two assumptions about the scene motion and the temporal offset between cameras. The motion of a scene is described using a local constant velocity model and the camera temporal offset...

The recovery of motion for a class of movements in the space by using the perspective observation of one point is considered in this paper. The motion equation can cover a wide class of practical movements in the space. The estimations of the position and motion parameters which are all time-varying are simultaneously developed in the proposed algorithm. The formulated problem can be converted ...

This research investigates the problem of how to adapt the changing of quorum assignments for objects in a replicated database to the duration and extent of failures occurring in the underlying communication network. The concept of a view based on a connected component of the network is used to coordinate changes to quorum assignments of different objects. New view formation is used only when n...

In this paper, reverse recovery failure modes in modern fast power diodes are investigated. By the aid of semiconductor device simulation tools, a better view is obtained for the physical process, and operating conditions at which both diode snappy recovery and dynamic avalanching occur during the recovery period in modern high frequency power electronic applications. The work presented here co...