Search Sciweavers | Sciweavers

1087 search results - page 15 / 218

» On Stabilization in Herman's Algorithm

click to vote

CORES
2005
Springer

113views Biometrics» more CORES 2005»

Neural Network-Based Chaotic Pattern Recognition - Part 2: Stability and Algorithmic Issues

14 years 2 months ago

Download www.iciar.uwaterloo.ca

Dragos Calitoiu, B. John Oommen, Doron Nussbaum

claim paper

Read More »

click to vote

INFOCOM
2003
IEEE

136views Communications» more INFOCOM 2003»

Load Balancing and Stability Issues in Algorithms for Service Composition

14 years 2 months ago

Download www.ieee-infocom.org

— Service composition enables ﬂexible creation of new services by assembling independent service components. We are focused on the scenario where such composition takes place a...

Bhaskaran Raman, Randy H. Katz

claim paper

Read More »

click to vote

HIPC
2003
Springer

81views Distributed And Parallel Com...» more HIPC 2003»

Self-Stabilizing Distributed Algorithm for Strong Matching in a System Graph

14 years 2 months ago

Download www.ipdps.org

Wayne Goddard, Stephen T. Hedetniemi, David Pokras...

claim paper

Read More »

click to vote

GI
2001
Springer

139views Theoretical Computer Science» more GI 2001»

Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams

14 years 1 months ago

Download www.loria.fr

We present the veriﬁcation of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of reﬁnements; it is mechanized base...

Dominique Cansell, Dominique Méry, Stephan ...

claim paper

Read More »

click to vote

PODC
1997
ACM

88views Distributed and Parallel Com...» more PODC 1997»

Memory Efficient, Self-Stabilizing Algorithm to Construct BFS Spanning Trees

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers