IPPS
2000
IEEE
13 years 9 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
IPPS
2000
IEEE
13 years 9 months ago
2000
IEEE
In this paper we study the suitability of the CORBA Event Service as a reliable message delivery mechanism. We first show that products built to the CORBA Event Service specificati...
IPPS
2000
IEEE
13 years 9 months ago
2000
IEEE
IPPS
2000
IEEE
13 years 9 months ago
2000
IEEE
In the past few years since Adleman’s pioneering work on solving the HPP(Hamiltonian Path Problem) with a DNA-based computer [1], many algorithms have been designed on solving NP...
IPPS
2000
IEEE
13 years 9 months ago
2000
IEEE
Ever since Adleman [1] solved the Hamilton Path problem using a combinatorial molecular method, many other hard computational problems have been investigated with the proposed DNA ...
IPPS
2000
IEEE
13 years 9 months ago
2000
IEEE
IPPS
2000
IEEE
13 years 9 months ago
2000
IEEE
As processor speeds rapidly approach the Giga-Hertz regime, the disparity between process time and memory access time plays an increasing role in the overall limitation of processo...
IPPS
2000
IEEE
13 years 9 months ago
2000
IEEE
IPPS
2000
IEEE
13 years 9 months ago
2000
IEEE
ThispaperpresentsatheoreticalframeworkbasedonBayesian decision theory for analyzing recently reported results on implicit coscheduling of parallel applications on clusters of work...
IPPS
2000
IEEE
13 years 9 months ago
2000
IEEE
The switch design for interconnection networks plays an important role in the overall performance of multiprocessors and computer networks. It is therefore crucial to study variou...