Sciweavers

4586 search results - page 193 / 918
» Computing stable models in parallel
Sort
View
PARA
1995
Springer
15 years 7 months ago
Decomposing Linear Programs for Parallel Solution
Coarse grain parallelism inherent in the solution of Linear Programming (LP) problems with block angular constraint matrices has been exploited in recent research works. However, t...
Ali Pinar, Ümit V. Çatalyürek, Ce...
EUROPAR
2010
Springer
15 years 1 months ago
Starsscheck: A Tool to Find Errors in Task-Based Parallel Programs
Star Superscalar is a task-based programming model. The programmer starts with an ordinary C program, and adds pragmas to mark functions as tasks, identifying their inputs and outp...
Paul M. Carpenter, Alex Ramírez, Eduard Ayg...
EUROPAR
1999
Springer
15 years 8 months ago
Dynamic Load Balancing for Ocean Circulation Model with Adaptive Meshing
This paper reports the parallel implementation of adaptive mesh re nement within nite di erence ocean circulation models. The implementation is based on the model of MalleableTasks...
Eric Blayo, Laurent Debreu, Grégory Mouni&e...
SPDP
1991
IEEE
15 years 7 months ago
Parallel and distributed algorithms for finite constraint satisfaction problems
This paper develops two new algorithms for solving a finite constraint satisfaction problem (FCSP) in parallel. In particular, we give a parallel algorithm for the EREW PRAM model...
Ying Zhang, Alan K. Mackworth
EUROPAR
2005
Springer
15 years 9 months ago
SPC-XML: A Structured Representation for Nested-Parallel Programming Languages
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
Arturo González-Escribano, Arjan J. C. van ...