5588 search results - page 317 / 1118 » Parallel Implementation of Bags |
108
click to vote
PDCAT
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper proposes a kernel to kernel communication system for use in cluster computers. It is implemented directly on the Ethernet data link layer. This allows use of E...
137
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
135
click to vote
PACT
2001
Springer
15 years 8 months ago
2001
Springer
In the framework of distributed object systems, this paper presents the concepts and an implementation of an overlapping mechanism between communication and computation. This mecha...
115
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
The mesh-of-trees topology has very attractive properties if a distance-sensitive routing, such as store-andforward, is used. How its properties compare to meshes if distance-inse...
102
click to vote
ICDCS
1999
IEEE
15 years 8 months ago
1999
IEEE
NAP, a detection and recovery based scheme for implementing fault-tolerant itinerant computations, is presented. We give the semantics for the scheme and describe a protocol that ...