5171 search results - page 615 / 1035 » Deterministic Parallel Processing |
146
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. To achieve an efficient utilization of cluster systems, a proper programming and operating environment is required. In this context, mobile agents are of growing interes...
157
click to vote
HCW
1999
IEEE
15 years 10 months ago
1999
IEEE
We present a new software technology for on-line performance analysis and visualization of complex parallel and distributed systems. Often heterogeneous, these systems need capabi...
159
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Existing low-latency protocols make unrealistically strong assumptions about reliability. This allows them to achieve impressive performance, but also prevents this performance bei...
189
Voted
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
178
click to vote
VISUALIZATION
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents efficient image-based rendering techniques used in the context of an architectural walkthrough system. Portals (doors and windows) are rendered by warping laye...