3379 search results - page 233 / 676 » Parallel cross-entropy optimization |
155
click to vote
TACAS
2010
Springer
15 years 9 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
CCGRID
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper shows how lightpath-based networks can allow challenging, fine-grained parallel supercomputing applications to be run on a grid, using parallel retrograde analysis on ...
139
click to vote
ICPADS
1998
IEEE
15 years 6 months ago
1998
IEEE
The DAG-based task graph model has been found effective in scheduling for performance prediction and optimization of parallel applications. However the scheduling complexity and s...
121
click to vote
PADS
1996
ACM
15 years 6 months ago
1996
ACM
We investigate conservative parallel discrete event simulations for logical circuits on shared-memory multiprocessors. For a first estimation of the possible speedup, we extend th...
115
click to vote
HPCS
2009
IEEE
15 years 6 months ago
2009
IEEE
We report efficient implementation techniques for FFT-based dense multivariate polynomial arithmetic over finite fields, targeting multi-cores. We have extended a preliminary study...