3441 search results - page 461 / 689 » Parallel Logic Programming Systems |
144
click to vote
PPOPP
2010
ACM
15 years 11 months ago
2010
ACM
To fully exploit multicore processors, applications are expected to provide a large degree of thread-level parallelism. While adequate for low core counts and their typical worklo...
154
click to vote
EUROPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present PerfMiner, a system for the transparent collection, storage and presentation of thread-level hardware performance data across an entire cluster. Every sub-proc...
169
click to vote
PPDP
2004
Springer
15 years 10 months ago
2004
Springer
We investigate some fundamental properties of the reduction relation in the untyped term calculus derived from Curien and Herbelin’s λµµ. The original λµµ has a system of ...
171
Voted
FLOPS
1999
Springer
15 years 9 months ago
1999
Springer
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...
163
click to vote
ECML
2006
Springer
15 years 8 months ago
2006
Springer
We describe a reinforcement learning system that transfers skills from a previously learned source task to a related target task. The system uses inductive logic programming to ana...