136 search results - page 7 / 28 » ipps 2002 |
IPPS
2002
IEEE
15 years 2 months ago
2002
IEEE
IPPS
2002
IEEE
15 years 2 months ago
2002
IEEE
88
Voted
IPPS
2002
IEEE
15 years 2 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...
IPPS
2002
IEEE
15 years 2 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
IPPS
2002
IEEE
15 years 2 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...