IPPS
2003
IEEE
13 years 10 months ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
IPPS
2003
IEEE
13 years 10 months ago
2003
IEEE
This paper presents a generic scheme for a central, yet untackled issue in overlay dynamic networks: maintaining stability over long life and against malicious adversaries. The ge...
IPPS
2003
IEEE
13 years 10 months ago
2003
IEEE
In this paper, we discuss a parallel tabu search algorithm with implementation in a heterogeneous environment. Two parallelization strategies are integrated: functional decomposit...
IPPS
2003
IEEE
13 years 10 months ago
2003
IEEE
IPPS
2003
IEEE
13 years 10 months ago
2003
IEEE
In this paper we develop a methodology for treating the problem of scheduling partially-ordered tasks on parallel machines. Our framework is based on the timed automaton model, or...
IPPS
2003
IEEE
13 years 10 months ago
2003
IEEE
IPPS
2003
IEEE
13 years 10 months ago
2003
IEEE
Advances in fabrication techniques are now enabling new hybrid CPU/FPGA computing resources to be integrated onto a single chip. While these new hybrids promise significant perfor...
IPPS
2003
IEEE
13 years 10 months ago
2003
IEEE
: This paper presents a new tightly coupled computation/communication design developed to support the unique operational requirements of sensor webs. A critical challenge of sensor...