136 search results - page 7 / 28 » ipps 2002 |
IPPS
2002
IEEE
14 years 16 days ago
2002
IEEE
IPPS
2002
IEEE
14 years 16 days ago
2002
IEEE
IPPS
2002
IEEE
14 years 16 days 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
14 years 16 days 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
14 years 16 days 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...