7092 search results - page 274 / 1419 » Parallelizing constraint programs |
123
Voted
PSLS
1995
15 years 5 months ago
1995
Abstract. Lazy task creation (LTC) is an e cient approach for executing divide and conquer parallel programs that has been used in the implementation of Multilisp's future con...
109
click to vote
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
134
click to vote
GD
2005
Springer
15 years 8 months ago
2005
Springer
In this paper we investigate the problem of drawing metro maps which is defined as follows. Given a planar graph G of maximum degree 8 with its embedding and vertex locations (e.g...
121
Voted
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper describes the high-level execution and communication support provided in JGrid, a serviceoriented dynamic grid framework. One of its core services, the Compute Service,...
108
click to vote
CSB
2005
IEEE
15 years 8 months ago
2005
IEEE
This work presents the development of algorithms for approximate string matching using parallel methods. It intends to do the maximum of molecular sequences comparisons per unity ...