Sciweavers

1576 search results - page 73 / 316
» Periodic Merging Networks
Sort
View
P2P
2006
IEEE
148views Communications» more  P2P 2006»
15 years 9 months ago
eQuus: A Provably Robust and Locality-Aware Peer-to-Peer System
Peer-to-peer systems (p2p) are highly dynamic in nature. They may consist of millions of peers joining only for a limited period of time, resulting in hundreds of join and leave e...
Thomas Locher, Stefan Schmid, Roger Wattenhofer
IPPS
1998
IEEE
15 years 7 months ago
Self-Testing Fault-Tolerant Real-Time Systems
We propose a periodic diagnostic algorithm based on the testing model of computation for real-time systems. The diagnostic task runs on every processor of the system. When the task...
M. Rooholamini, Seyed H. Hosseini
112
Voted
SPIN
2000
Springer
15 years 6 months ago
Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
Nicholas Weininger, Darren D. Cofer
LISA
2007
15 years 5 months ago
OS Circular: Internet Client for Reference
OS Circular is a framework for Internet Disk Image Distribution of software for virtual machines, those which offer a ‘‘virtualized’’ common PC environment on any PC. OS i...
Kuniyasu Suzaki, Toshiki Yagi, Kengo Iijima, Anh-Q...
NIPS
2003
15 years 4 months ago
Entrainment of Silicon Central Pattern Generators for Legged Locomotory Control
We have constructed a second generation CPG chip capable of generating the necessary timing to control the leg of a walking machine. We demonstrate improvements over a previous ch...
Francesco Tenore, Ralph Etienne-Cummings, M. Antho...