Sciweavers

7456 search results - page 161 / 1492
» Parallelism in Logic Programming
Sort
View
ICDCS
1996
IEEE
15 years 10 months ago
Supporting a Flexible Parallel Programming Model on a Network of Workstations
We introduce a shared memory software prototype system for executing programs with nested parallelism on a network of workstations. This programming model exhibits a very convenie...
Shih-Chen Huang, Zvi M. Kedem
APSEC
1995
IEEE
15 years 10 months ago
An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis Information
Guaranteeiq reproducibility and minimizing probe effects are major issues in the parallel program debugging. This paper suggests a new debugging method, named Detect and Reproduce...
Hyun Seop Bae, Yong Rae Kwon, Hyeon Soo Kim
ICLP
1998
Springer
15 years 10 months ago
Iterated Logic Program Updates
The eld of theory update has seen some improvement, in what regards updating, by allowing desired updates to be speci ed by update programs. The updating of models is governed by ...
João Alexandre Leite, Luís Moniz Per...
APSCC
2006
IEEE
15 years 10 months ago
GridPPI: A Lightweight Grid-Enabled Parallel Programming Framework
Parallel application development for Grids can from tools that abstract the underlying Grid middleware, hide the critical aspects of heterogeneous resources and provide utilities ...
Sikan Chen, Minglu Li, Feng He
LCPC
1991
Springer
15 years 10 months ago
Experience in the Automatic Parallelization of Four Perfect-Benchmark Programs
This paper discusses the techniques used to hand-parallelize, for the Alliant FX/80, four Fortran programs from the Perfect-Benchmark suite. The paper also includes the execution ...
Rudolf Eigenmann, Jay Hoeflinger, Zhiyuan Li, Davi...