Maintaining spanning trees in a distributed fashion is central to many networking applications and selfstabilizing algorithms provide an elegant way of doing it in fault-prone environments. In this paper, we propose a self-stabilizing algorithm for maintaining a spanning tree in a distributed fashion for a completely connected topology. Our algorithm requires a node to process O(1) messages on ...

In this paper, we address the unison problem. We consider the self-stabilizing algorithm proposed by Boulinier et al. We exhibit a bound on the step complexity of its stabilization time. In more details, the stabilization time of this algorithm is at most 2Dn + (α + 1)n + (α− 2D)n steps, where n is the number of processes, D is the diameter of the network, and α is a parameter of the algorithm.

We reduce the problem of proving the convergence of a randomized self-stabilizing algorithm under k-bounded policies to the convergence of the same algorithm under a specific policy. As a consequence, all k-bounded schedules are equivalent : a given algorithm is self-stabilizing under one of them if and only if it is self-stabilizing under any of them.

This paper deals with quadratic stabilization of discrete-time multiple-input (MI) systems by means of quantized static feedback. We consider the minimization of quantization density, which is still an open problem for MI systems. Our first contribution in this regard is to partially derive the structure that a quantizer that minimizes density for a MI system should have. The second and main co...

Objective: This study aims to reveal the effects of cyanoacrylate application at recipient bed and donor site in free gingival graft surgery on dimensions, clinical healing parameters patient-based outcomes. 
 Methods: Free operations were conducted individuals who randomly assigned control or test groups. In group, was stabilized coated with cyanoacrylate. 6/0 polyvinylidene fluoride sutu...

background: intra-operative radiation therapy (iort) is the transfer of a single large radiation dose to the tumor bed during surgery with the final goal of improving regional tumor control. this study aimed to investigate the safety, effectiveness and economic evaluation of intra-operative radiation therapy.   methods : the scientific literature was searched in the main biomedical databases (c...

conclusions the trunk stabilization exercises are more effective than conventional back care exercises in the rehabilitation of patients with chronic lbp. results the results of the study demonstrated significant improvements in abdominal muscle endurance and reduction in vas and modq score of both groups (p = 0.001). the trunk stabilization exercise group showed greater gains in abdominal musc...

We show that, contrary to common belief, Dijkstra’s K-state mutual exclusion algorithm on a ring also stabilizes when the number K of states per process is one less than the number N + 1 of processes in the ring. We formalize the algorithm and verify the proof in PVS, based on Qadeer and Shankar’s work. We show that K = N is sharp by giving a counter-example for K = N − 1. ACM CCS