1382 search results - page 4 / 277 » Formal Analysis of Online Algorithms |
129
Voted
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
The major contribution of this paper is the presentation of a general unifying description of distributed algorithms allowing to map local, node-based, algorithms onto a single gl...
151
Voted
SAFECOMP
2007
Springer
15 years 11 months ago
2007
Springer
141
Voted
GI
2001
Springer
15 years 9 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
185
click to vote
SAS
1994
Springer
15 years 9 months ago
1994
Springer
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
135
Voted
ESA
2008
Springer
15 years 6 months ago
2008
Springer
We prove that there exits a randomized online algorithm for the 2-server 3-point problem whose