606 search results - page 85 / 122 » Complexity Results for Checking Distributed Implementability |
115
click to vote
EUROPAR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. To resolve difficulties in parallel programming, a large number of studies are conducted on parallel skeletons and optimization theorems over skeleton programs. However, ...
108
click to vote
CONCURRENCY
2006
15 years 1 months ago
2006
With the advent of grid technologies, scientists and engineers are building more and more complex applications to utilize distributed grid resources. The core grid services provid...
126
click to vote
IPPS
2010
IEEE
14 years 11 months ago
2010
IEEE
Local search (LS) algorithms are among the most powerful techniques for solving computationally hard problems in combinatorial optimization. These algorithms could be viewed as &q...
194
click to vote
TSE
2012
13 years 4 months ago
2012
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...
130
click to vote
ICAC
2006
IEEE
15 years 7 months ago
2006
IEEE
— Recent advances have demonstrated the potential benefits of coordinated management of thermal load in data centers, including reduced cooling costs and improved resistance to ...