6939 search results - page 224 / 1388 » Algorithm Engineering for Parallel Computation |
197
Voted
ATVA
2011
Springer
14 years 2 months ago
2011
Springer
Even though the well-known nested-depth first search algorithm for LTL model checking provides good performance, it cannot benefit from the recent advent of multi-core computers....
142
click to vote
WSC
2008
15 years 4 months ago
2008
The global health, threatened by emerging infectious diseases, pandemic influenza, and biological warfare, is becoming increasingly dependent on the rapid acquisition, processing,...
131
click to vote
SCCC
1998
IEEE
15 years 6 months ago
1998
IEEE
We present a scalable algorithm for the parallel computation of inverted files for large text collections. The algorithm takes into account an environment of a high bandwidth netw...
107
click to vote
LCN
2006
IEEE
15 years 8 months ago
2006
IEEE
We introduce a scalable algorithm for time-parallel simulations of wireless ad hoc networks and report on our results. Our approach decomposes the simulation into overlapping temp...
121
click to vote
ICPPW
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper reports on the development of a novel island model for evolutionary algorithms, which is intrinsically parallel and intended to better utilise resources and outlier sol...