Sciweavers

1419 search results - page 167 / 284
» Network Growth with Feedback
Sort
View
ICPADS
2006
IEEE
16 years 17 days ago
Snap-Stabilizing PIF and Useless Computations
A snap-stabilizing protocol, starting from any configuration, always behaves according to its specification. In other words, a snap-stabilizing protocol is a self-stabilizing pr...
Alain Cournier, Stéphane Devismes, Vincent ...
IPTPS
2003
Springer
15 years 11 months ago
Towards a Common API for Structured Peer-to-Peer Overlays
In this paper, we describe an ongoing effort to define common APIs ctured peer-to-peer overlays and the key abstractions that can be built on them. In doing so, we hope to facilit...
Frank Dabek, Ben Y. Zhao, Peter Druschel, John Kub...
CDC
2009
IEEE
183views Control Systems» more  CDC 2009»
15 years 10 months ago
Switching controller for stabilization of linear systems with switched time-varying delays
This paper considers interval time-varying delay systems with delayed estimation of the delay. This case is often encountered in the Networked Control Systems (NCS) field. Based on...
Wenjuan Jiang, Emilia Fridman, Alexandre Kruszewsk...
USENIX
2007
15 years 8 months ago
Virtually Shared Displays and User Input Devices
This paper proposes making displays and input devices as first-class citizens in a networked system environment for collaborative applications. The paper describes a virtually sha...
Grant Wallace, Kai Li
IWFM
2003
123views Formal Methods» more  IWFM 2003»
15 years 7 months ago
Derivation of Distributed Programs in the Theory of Owicki and Gries: An Example
This paper describes the derivation of a program for the propagation of information over a network, with acknowledgement (feedback) when the computation is complete. The derivatio...
Doug Goldson