16190 search results - page 136 / 3238 » Applicative programming with effects |
129
click to vote
CCE
2004
15 years 2 months ago
2004
The Resource-Constrained Project Scheduling Problem(RCPSP) is a significant challenge in highly regulated industries, such as pharmaceuticals and agrochemicals, where a large numb...
115
click to vote
HYBRID
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...
128
Voted
PARELEC
2006
IEEE
15 years 8 months ago
2006
IEEE
High performance computing in heterogeneous environments is a dynamically developing area. A number of highly efficient heterogeneous parallel algorithms have been designed over l...
128
click to vote
ILP
2005
Springer
15 years 8 months ago
2005
Springer
We propose a new approach to Inductive Logic Programming that systematically exploits caching and offers a number of advantages over current systems. It avoids redundant computati...
106
click to vote
LOPSTR
2004
Springer
15 years 7 months ago
2004
Springer
For use in earlier approaches to automated module interface adaptation, we seek a restricted form of program synthesis. Given some typing assumptions and a desired result type, we ...