3148 search results - page 338 / 630 » On the Dynamic Initialization of Parallel Computers |
133
click to vote
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
151
click to vote
PDP
2006
IEEE
15 years 9 months ago
2006
IEEE
Peer-to-Peer computing is mainly based on the virtual overlay network constructed in the application layer. Often, there is topology mismatching between the overlay network and th...
155
Voted
HPDC
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper we present a scalable protocol for conducting periodic probes of network performance in a way that minimizes collisions between separate probes. The goal of the prot...
116
Voted
ICDCS
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper describes the design of a scripting language aimed at expressing task (unit of computation) composition and inter-task dependencies of distributed applications whose ex...
143
Voted
EAGC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper describes SCALEA-G, a unified monitoring and performance analysis system for the Grid. SCALEA-G is implemented as a set of grid services based on the Open Grid...