Granularity control is a method to improve parallel execution performance by limiting excessive paral-lelism. The general idea is that if the gain obtained by executing a task in parallel is less than the overheads required to support parallel execution, then the task is better executed sequentially. Traditionally, in logic pro-gramming, task size is estimated from the sequential time-complexity of evaluating the task. Tasks are only executed in parallel if task size exceeds a pre-determined threshold. We argue in this paper that the estimation of complexity on its own is not an ideal metric for improving the performance of parallel programs through granularity control. We present a new metric for measuring granularity, based on a notion of...
Dynamic granularity estimation is a new technique for automatically identifying expressions in funct...
We analyse the inherent performance of parallel software. For this end we use a task graph to model ...
Knowing the size of the terms to which program variables are bound at run-time in logic programs is ...
Granularity control is a method to improve parallel execution performance by limiting excessive para...
AbstractSeveral types of parallelism can be exploited in logic programs while preserving correctness...
Several types of parallelism can be exploited in logic programs while preserving correctness and eff...
While logic programming languages offer a great deal of scope for parallelism, there is usually som...
Several types of parallelism can be exploited in logic programs while preserving correctness and eff...
While logic programming languages o#er a great deal of scope for parallelism, there is usually some ...
International audienceOver the past decade, many programming languages and systems for parallel-comp...
International audienceOver the past decade, many programming languages and systems for parallel-comp...
The paper proposes a technique for inferring conditions on goals that, when satisfied, ensure that a...
The evolution of computers is moving more and more towards multi-core processors and parallel progra...
iii Abstract This thesis demonstrates how to reduce the runtime of large non-strict functional progr...
International audienceA classic problem in parallel computing is determining whether to execute a th...
Dynamic granularity estimation is a new technique for automatically identifying expressions in funct...
We analyse the inherent performance of parallel software. For this end we use a task graph to model ...
Knowing the size of the terms to which program variables are bound at run-time in logic programs is ...
Granularity control is a method to improve parallel execution performance by limiting excessive para...
AbstractSeveral types of parallelism can be exploited in logic programs while preserving correctness...
Several types of parallelism can be exploited in logic programs while preserving correctness and eff...
While logic programming languages offer a great deal of scope for parallelism, there is usually som...
Several types of parallelism can be exploited in logic programs while preserving correctness and eff...
While logic programming languages o#er a great deal of scope for parallelism, there is usually some ...
International audienceOver the past decade, many programming languages and systems for parallel-comp...
International audienceOver the past decade, many programming languages and systems for parallel-comp...
The paper proposes a technique for inferring conditions on goals that, when satisfied, ensure that a...
The evolution of computers is moving more and more towards multi-core processors and parallel progra...
iii Abstract This thesis demonstrates how to reduce the runtime of large non-strict functional progr...
International audienceA classic problem in parallel computing is determining whether to execute a th...
Dynamic granularity estimation is a new technique for automatically identifying expressions in funct...
We analyse the inherent performance of parallel software. For this end we use a task graph to model ...
Knowing the size of the terms to which program variables are bound at run-time in logic programs is ...