1554 search results - page 141 / 311 » cases 2003 |
166
click to vote
SBACPAD
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents a theoretical study to evaluate the performance of a family of parallel implementations of the propagation algorithm. The propagation algorithm is used to an i...
137
click to vote
SRDS
2003
IEEE
15 years 10 months ago
2003
IEEE
Replication is one of the prominent approaches for obtaining fault tolerance. Implementing replication on commodity hardware and in a transparent fashion, i.e., without changing t...
128
click to vote
SRDS
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract— In this paper, we consider the design of a reliable multicast facility over an unreliable multicast network. Our multicast facility has several interesting properties: ...
134
click to vote
TPHOL
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract. We show that certain input-output relations, termed inductive invariants are of central importance for termination proofs of algorithms defined by nested recursion. Indu...
145
click to vote
VISUALIZATION
2003
IEEE
15 years 10 months ago
2003
IEEE
Volume rendering and isosurface extraction from three-dimensional scalar fields are mostly based on piecewise trilinear representations. In regions of high geometric complexity s...