6004 search results - page 96 / 1201 » Parallelizing query optimization |
EOR
2007
13 years 10 months ago
2007
We introduce a master–worker framework for parallel global optimization of computationally expensive functions using response surface models. In particular, we parallelize two r...
DAGSTUHL
2007
13 years 11 months ago
2007
In this paper parallel universes are defined by their relation to multi-criteria optimization combined with an explicit or implicit link for the unambiguous identification of an ...
ISPDC
2003
IEEE
14 years 3 months ago
2003
IEEE
GCC
2003
Springer
14 years 3 months ago
2003
Springer
SAS
2009
Springer
14 years 10 months ago
2009
Springer
We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its proof simultaneously to obtain a proven parallelized an...