IPPS
2007
IEEE
14 years 5 months ago
2007
IEEE
In this paper, we present a fully distributed process to collect and distribute the minimal connected component (MCC) fault information so that the shortest-path between a source ...
IPPS
2007
IEEE
14 years 5 months ago
2007
IEEE
IPPS
2007
IEEE
14 years 5 months ago
2007
IEEE
Communication delay is a key source of uncertainty in distributed systems. Existing approaches to reduce this uncertainty focus on maintaining sufficient surplus bandwidth; appli...
IPPS
2007
IEEE
14 years 5 months ago
2007
IEEE
IPPS
2007
IEEE
14 years 5 months ago
2007
IEEE
Screening is an important task to convert a continuoustone image into a binary image with pure black and white pixels. The main contribution of this paper is to show a new algorit...
IPPS
2007
IEEE
14 years 5 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
IPPS
2007
IEEE
14 years 5 months ago
2007
IEEE
We introduce a new model for distributed algorithms designed for large scale systems that need a low-overhead solution to allow the processes to communicate with each other. We as...
IPPS
2007
IEEE
14 years 5 months ago
2007
IEEE
We propose a two-layered approach for exploiting different forms of concurrency in complex systems: We specify computational components in our functional array language SaC, whic...
IPPS
2007
IEEE
14 years 5 months ago
2007
IEEE
— This paper introduces the Abstract Data and Communication Library (ADCL). ADCL is an application level communication library aiming at providing the highest possible performanc...
IPPS
2007
IEEE
14 years 5 months ago
2007
IEEE
Power management is critical in server and high-performancecomputing environments as well as in mobile computing. Many mechanisms have been developed over recent years to support ...