419 search results - page 77 / 84 » A Thread of HOL Development |
117
click to vote
PPOPP
2009
ACM
16 years 8 days ago
2009
ACM
The efficient mapping of program parallelism to multi-core processors is highly dependent on the underlying architecture. This paper proposes a portable and automatic compiler-bas...
SPAA
2009
ACM
16 years 8 days ago
2009
ACM
We present three new reader-writer lock algorithms that scale under high read-only contention. Many previous reader-writer locks suffer significant degradation when many readers a...
105
click to vote
KDD
2009
ACM
16 years 8 days ago
2009
ACM
All Netflix Prize algorithms proposed so far are prohibitively costly for large-scale production systems. In this paper, we describe an efficient dataflow implementation of a coll...
112
click to vote
HPCA
2006
IEEE
16 years 3 days ago
2006
IEEE
With the continuing growth in the amount of genetic data, members of the bioinformatics community are developing a variety of data-mining applications to understand the data and d...
HPCA
2002
IEEE
16 years 3 days ago
2002
IEEE
Cyclops is a new architecture for high performance parallel computers being developed at the IBM T. J. Watson Research Center. The basic cell of this architecture is a single-chip...