6437 search results - page 203 / 1288 » Parallel Algorithms for Arrangements |
203
click to vote
ATVA
2011
Springer
14 years 3 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....
153
click to vote
EUROPAR
2008
Springer
15 years 4 months ago
2008
Springer
This work is devoted to the numerical resolution of the 4D Vlasov equation using an adaptive mesh of phase space. We previously proposed a parallel algorithm designed for distribut...
115
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents a load balancing algorithm for a parallel implementation of an evolutionary strategy on heterogeneous clusters. Evolutionary strategies can efficiency solve a ...
124
click to vote
ICCS
2001
Springer
15 years 7 months ago
2001
Springer
Parallel computing has been touted as the pinnacle of high performance digital computing by many. However, many problems remain intractable using deterministic algorithms. Randomiz...
110
click to vote
JSAT
2008
15 years 3 months ago
2008
We show how to exploit the 32/64 bit architecture of modern computers to accelerate some of the algorithms used in satisfiability solving by modifying assignments to variables in ...