3154 search results - page 345 / 631 » Computing Closed Skycubes |
172
click to vote
IPPS
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper studies distributed scheduling of parallel I/O data transfers on systems that provide data replication. In our previous work, we proposed a centralized algorithm for so...
164
click to vote
ISCC
2005
IEEE
16 years 9 days ago
2005
IEEE
New applications for the Internet such as video on demand, grid computing etc. depend on the availability of high bandwidth connections with acceptable Quality of Service (QoS). T...
181
click to vote
VISUALIZATION
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper presents a novel approach for surface reconstruction from point clouds. The proposed technique is general in the sense that it naturally handles both manifold and non-m...
158
Voted
VLSID
2005
IEEE
2005
IEEE
Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model
16 years 9 days ago
One of the emerging challenges in formal property verification (FPV) technology is the problem of deciding whether sufficient properties have been written to cover the design in...
159
Voted
ACMMSP
2005
ACM
16 years 8 days ago
2005
ACM
Combining ideas from several previous proposals, such as Active Pages, DIVA, and ULMT, we present the Memory Arithmetic Unit and Interface (MAUI) architecture. Because the “inte...