Granularity control is a method to improve parallel execution performance by limiting excessive parallelism. 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 programming 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 di...
Dynamic granularity estimation is a new technique for automatically identifying expressions in funct...
International audienceA classic problem in parallel computing is determining whether to execute a th...
This dissertation describes research toward automatic complexity analysis of logic programs and its ...
Granularity control is a method to improve parallel execution performance by limiting excessive para...
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...
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...
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...
Knowing the size of the terms to which program variables are bound at run-time in logic programs is ...
Dynamic granularity estimation is a new technique for automatically identifying expressions in funct...
International audienceA classic problem in parallel computing is determining whether to execute a th...
This dissertation describes research toward automatic complexity analysis of logic programs and its ...
Granularity control is a method to improve parallel execution performance by limiting excessive para...
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...
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...
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...
Knowing the size of the terms to which program variables are bound at run-time in logic programs is ...
Dynamic granularity estimation is a new technique for automatically identifying expressions in funct...
International audienceA classic problem in parallel computing is determining whether to execute a th...
This dissertation describes research toward automatic complexity analysis of logic programs and its ...