1554 search results - page 141 / 311 » cases 2003 |
195
Voted
SBACPAD
2003
IEEE
16 years 6 days 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...
166
click to vote
SRDS
2003
IEEE
16 years 6 days 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...
168
Voted
SRDS
2003
IEEE
16 years 6 days 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: ...
160
click to vote
TPHOL
2003
IEEE
16 years 6 days 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...
172
click to vote
VISUALIZATION
2003
IEEE
16 years 6 days 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...