Search Sciweavers | Sciweavers

19

BIRTHDAY
2008
Springer

103views Applied Computing» more BIRTHDAY 2008»

The Scholten/Dijkstra Pebble Game Played Straightly, Distributedly, Online and Reversed

13 years 9 months ago

The Scholten/Dijkstra "Pebble Game" is re-examined. We show that the algorithm lends itself to a distributed as well as an online version, and even to a reversed variant....

Wolfgang Reisig

claim paper

Read More »

15

click to vote

ACTA
1998

81views more ACTA 1998»

Dijkstra-Scholten Predicate Calculus: Concepts and Misconceptions

13 years 6 months ago

Download www.open.ou.nl

The paper focusses on the logical backgrounds of the Dijkstra-Scholten program development style for correct programs. For proving the correctness of a program (i.e. the fact that...

Lex Bijlsma, Rob Nederpelt

claim paper

Read More »

19

click to vote

SSS
2007
Springer

106views Control Systems» more SSS 2007»

On the Performance of Dijkstra's Third Self-stabilizing Algorithm for Mutual Exclusion

14 years 1 months ago

Download www.cs.technion.ac.il

In [Dij74] Dijkstra introduced the notion of self-stabilizing algorithms, and presented three such algorithms for the problem of mutual exclusion on a ring of processors. The thir...

Viacheslav Chernoy, Mordechai Shalom, Shmuel Zaks

claim paper

Read More »

10

click to vote

FGCS
2006

58views more FGCS 2006»

Using RDF to describe networks

13 years 7 months ago

Download www.glif.is

Jeroen van der Ham, Freek Dijkstra, Franco Travost...

claim paper