7092 search results - page 280 / 1419 » Parallelizing constraint programs |
132
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
In this paper, we propose and evaluate two parallel implementations of Multi-dimensional Ensemble Empirical Mode Decomposition (MEEMD) for multi-core (CPU) and many-core (GPU) arc...
125
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
The polyhedral model is extensively used for analyses and transformations of regular loop programs, one of the most important being automatic parallelization. The model, however, ...
111
click to vote
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
Abduction is usually carried out on partially-defined predicates. In this paper we investigate abduction applied to fully-defined predicates, specifically linear arithmetic cons...
114
click to vote
AMAST
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
113
click to vote
CL
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents a method for representing trees using constraint logic programming over finite domains. We describe a class of trees that is of particular interest to us and h...