7092 search results - page 516 / 1419 » Parallelizing constraint programs |
164
click to vote
PADL
2005
Springer
15 years 10 months ago
2005
Springer
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to us...
148
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We demonstrate a fully automated method for obtaining a closedform approximation of a recursive function. This method resulted from a realworld problem in which we had a ...
140
click to vote
SAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
114
click to vote
IMSCCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Grid computing provides new solutions for numerous complex problems. It is an inevitable trend to implement the distributed parallel computing of large-scale problems with the gri...
124
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Dynamically allocating computing nodes to parallel applications is a promising technique for improving the utilization of cluster resources. We introduce the concept of dynamic ef...