1720 search results - page 154 / 344 » Unranking Combinations in Parallel |
141
click to vote
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
154
Voted
ICS
2000
Tsinghua U.
15 years 7 months ago
2000
Tsinghua U.
Memory system bottlenecks limit performance for many applications, and computations with strided access patterns are among the hardest hit. The streams used in such applications h...
129
click to vote
GECCO
2010
Springer
15 years 7 months ago
2010
Springer
In this paper we introduce a method for computing fitness in evolutionary learning systems based on NVIDIA’s massive parallel technology using the CUDA library. Both the match ...
156
click to vote
LREC
2010
15 years 5 months ago
2010
Statistical machine translation to morphologically richer languages is a challenging task and more so if the source and target languages differ in word order. Current state-of-the...
152
click to vote
PVM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. VolpexMPI is an MPI library designed for volunteer computing environments. In order to cope with the fundamental unreliability of these environments, VolpexMPI deploys tw...