2303 search results - page 264 / 461 » Interior-Point Methods in Parallel Computation |
154
click to vote
IPPS
1999
IEEE
15 years 8 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...
129
click to vote
CCGRID
2010
IEEE
15 years 5 months ago
2010
IEEE
With the increasing functionality and complexity of distributed systems, resource failures are inevitable. While numerous models and algorithms for dealing with failures exist, th...
160
click to vote
ICPP
2009
IEEE
15 years 2 months ago
2009
IEEE
The emergence of multicore processors raises the need to efficiently transfer large amounts of data between local processes. MPICH2 is a highly portable MPI implementation whose l...
174
click to vote
HPCA
2011
IEEE
14 years 8 months ago
2011
IEEE
Contention management is an important design component to a transactional memory system. Without effective contention management to ensure forward progress, a transactional memory...
143
click to vote
SISAP
2008
IEEE
15 years 10 months ago
2008
IEEE
Similarity search has been proved suitable for searching in very large collections of unstructured data objects. We are interested in efficient parallel query processing under si...