Search Sciweavers | Sciweavers

90

BIRTHDAY
2008
Springer

103views Applied Computing» more BIRTHDAY 2008»

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

15 years 1 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 »

94

click to vote

ACTA
1998

81views more ACTA 1998»

Dijkstra-Scholten Predicate Calculus: Concepts and Misconceptions

14 years 11 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 »

88

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

15 years 5 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 »

61

click to vote

FGCS
2006

58views more FGCS 2006»

Using RDF to describe networks

14 years 11 months ago

Download www.glif.is

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

claim paper