3868 search results - page 159 / 774 » A Distributed Parallel Programming Framework |
198
click to vote
SPIN
2000
Springer
15 years 9 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
156
click to vote
HPDC
2002
IEEE
15 years 11 months ago
2002
IEEE
A novel component-based, service-oriented framework for distributed metacomputing is described. Adopting a provider-centric view of resource sharing, this project emphasizes light...
160
click to vote
ICDCS
1998
IEEE
15 years 10 months ago
1998
IEEE
The integration of system and SW functions for efciency, performance and especially dependability is of interest from a research and system design perspective. In this paper, we p...
169
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
Trends in parallel computing indicate that heterogeneous parallel computing will be one of the most widespread platforms for computation-intensive applications. A heterogeneous com...
136
click to vote
HPCC
2007
Springer
16 years 10 days ago
2007
Springer
This paper introduces Netgauge, an extensible open-source framework for implementing network benchmarks. The structure of Netstracts and explicitly separates communication patterns...