Sciweavers

5898 search results - page 745 / 1180
» Parallel Computing Environments and Methods
Sort
View
IPPS
2005
IEEE
15 years 12 months ago
Practical Performance Model for Optimizing Dynamic Load Balancing of Adaptive Applications
Optimizing the performance of dynamic load balancing toolkits and applications requires the adjustment of several runtime parameters; however, determining sufficiently good value...
Kevin Barker, Nikos Chrisochoides
ICPP
2000
IEEE
15 years 10 months ago
Nonblocking WDM Multicast Switching Networks
ÐWith ever increasing demands on bandwidth from emerging bandwidth-intensive applications, such as video conferencing, E-commerce, and video-on-demand services, there has been an ...
Yuanyuan Yang, Jianchao Wang, Chunming Qiao
IPPS
1999
IEEE
15 years 10 months ago
Mechanical Verification of a Garbage Collector
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
Klaus Havelund
CCGRID
2010
IEEE
15 years 7 months ago
The Failure Trace Archive: Enabling Comparative Analysis of Failures in Diverse Distributed Systems
With the increasing functionality and complexity of distributed systems, resource failures are inevitable. While numerous models and algorithms for dealing with failures exist, th...
Derrick Kondo, Bahman Javadi, Alexandru Iosup, Dic...
ICPP
2009
IEEE
15 years 4 months ago
Cache-Efficient, Intranode, Large-Message MPI Communication with MPICH2-Nemesis
The emergence of multicore processors raises the need to efficiently transfer large amounts of data between local processes. MPICH2 is a highly portable MPI implementation whose l...
Darius Buntinas, Brice Goglin, David Goodell, Guil...