7167 search results - page 632 / 1434 » Answer Set Programming |
175
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. During the last two decades, monads have become an indispensable tool for structuring functional programs with computational effects. In this setting, the mathematical n...
125
click to vote
SGAI
2009
Springer
16 years 28 days ago
2009
Springer
The decision which hardware platform to use for a certain application is an important problem in computer architecture. This paper reports on a study where a data-mining approach i...
141
click to vote
LICS
2007
IEEE
16 years 21 days ago
2007
IEEE
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relatio...
159
click to vote
GECCO
2007
Springer
16 years 17 days ago
2007
Springer
The bin packing problem (BPP) is a real-world problem that arises in different industrial applications related to minimization of space or time. The aim of this research is to au...
186
click to vote
IWOMP
2007
Springer
16 years 16 days ago
2007
Springer
OpenMP is widely used for shared memory parallel programming and is especially useful for the parallelisation of loops. When it comes to task parallelism, however, OpenMP is less p...