136 search results - page 7 / 28 » ipps 2002 |
IPPS
2002
IEEE
15 years 10 months ago
2002
IEEE
IPPS
2002
IEEE
15 years 10 months ago
2002
IEEE
165
Voted
IPPS
2002
IEEE
15 years 10 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
120
click to vote
IPPS
2002
IEEE
15 years 10 months ago
2002
IEEE
A small number of network components failures can cause high-speed networks (LANs) or System Area Networks (SANs) to be partitioned. This issue has been resolved with the
129
click to vote
IPPS
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper, we analyze the performance of a mobile agent based approach for discovering and allocating resources in large scale networks. We compare this approach with the trad...