5171 search results - page 503 / 1035 » Deterministic Parallel Processing |
115
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
The increasing demand for Distributed Systems(DS's) raised the need of a quality-assured development process, which could not only address the issue of requirement compliance,...
115
click to vote
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
We add an operation of group creation to the typed π-calculus, where a group is a type for channels. Creation of fresh groups has the effect of statically preventing certain com...
154
click to vote
HPDC
1999
IEEE
15 years 9 months ago
1999
IEEE
We present a performance-based methodology for designing a high-bandwidth radar application on commodity platforms. Unlike many real-time systems, our approach works for commodity...
106
Voted
ICDCS
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper examines the problem of building scalable, fault-tolerant distributed systems from collections of communicating process groups, while maintaining well-defined end-to-en...
125
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
Abstract. An MPI library, called MPICH-PM/CLUMP, has been implemented on a cluster of SMPs. MPICH-PM/CLUMP realizes zero copy message passing between nodes while using one copy mes...