273 search results - page 24 / 55 » A Protocol for Pervasive Distributed Computing Reliability |
97
Voted
DSN
2007
IEEE
15 years 3 months ago
2007
IEEE
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
The IBM Cyclops-64 (C64) chip employs a multithreaded architecture that integrates a large number of hardware thread units on a single chip. A cellular supercomputer is being deve...
117
click to vote
INTERSENSE
2006
ACM
15 years 5 months ago
2006
ACM
— Mobile Ad-hoc Networks (MANETs) are seen as an essential technology to support future Pervasive Computing Scenarios and 4G networks. In a MANET, efficient support of multipoint...
92
Voted
DAGSTUHL
1994
15 years 1 months ago
1994
Abstract. Rampart is a toolkit of protocols to facilitate the development of high-integrity services, i.e., distributed services that retain their availability and correctness desp...
DCOSS
2010
Springer
15 years 3 months ago
2010
Springer
A number of wireless sensor network (WSN) applications demand timely data delivery. However, existing WSNs are designed to conserve energy and not to support timely data transmissi...