Sciweavers

116

click to vote

WDAG
2000
Springer

93views Algorithms» more WDAG 2000»

Self-Stabilizing Local Mutual Exclusion and Daemon Refinement

15 years 8 months ago

Download cjtcs.cs.uchicago.edu

Joffroy Beauquier, Ajoy Kumar Datta, Maria Gradina...

claim paper

Read More »

119

click to vote

WDAG
2000
Springer

111views Algorithms» more WDAG 2000»

Thrifty Generic Broadcast

15 years 8 months ago

Download research.microsoft.com

Weconsider the problemof generic broadcast in asynchronous systems with crashes, a problem that was rst studied in 12]. Roughly speaking, given a \con ict" relation on the set...

Marcos Kawazoe Aguilera, Carole Delporte-Gallet, H...

claim paper

Read More »

82

click to vote

WDAG
2000
Springer

81views Algorithms» more WDAG 2000»

On the Importance of Having an Identity or is Consensus Really Universal?

15 years 8 months ago

Download homepages.cwi.nl

We show that Naming

Harry Buhrman, Alessandro Panconesi, Riccardo Silv...

claim paper

Read More »

107

click to vote

DSVIS
1995
Springer

80views Human Computer Interaction» more DSVIS 1995»

On the Expression of Interaction Properties within an Interactor Model

15 years 8 months ago

Download www.idemployee.id.tue.nl

This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...

Panos Markopoulos

claim paper

Read More »

119

click to vote

ICCAD
1997
IEEE

87views Hardware» more ICCAD 1997»

A new approach to simultaneous buffer insertion and wire sizing

15 years 8 months ago