A Methodology for Granularity Based Control of Parallelism in Logic Programs (1996)

by Garc'ia M. Hermenegildo , S. K. Debray
Venue:Journal of Symbolic Computation, Special Issue on Parallel Symbolic Computation
Citations:61 - 35 self

Documents Related by Co-Citation

118 Non-Failure Analysis for Logic Programs – Saumya Debray, Pedro López-García, Manuel Hermenegildo - 1997
64 Task Granularity Analysis in Logic Programs – Saumya K. Debray, Nai-wei Lin, Manuel Hermenegildo - 1990
64 Strict And Non-Strict Independent And-Parallelism In Logic Programs: Correctness, Efficiency, And Compile-Time Conditions – Manuel V. Hermenegildo, Francesca Rossi - 1993
52 Lower Bound Cost Estimation for Logic Programs – Saumya Debray, P. López García, Manuel Hermenegildo, Garc'ia Manuel Hermenegildo, Nai-wei Lin - 1997
72 The &-Prolog System: Exploiting Independent And-Parallelism – M Hermenegildo, K Greene - 1991
118 Compile-time Derivation of Variable Dependency Using Abstract Interpretation – K. Muthukumar, M. Hermenegildo - 1992
84 Combined Determination of Sharing and Freeness of Program Variables Through Abstract Interpretation – K Muthukumar, M Hermenegildo - 1990
23 Overview of DASWAM: Exploitation of Dependent And-parallelism – K Shen - 1996
61 Parallel Execution of Prolog Programs: A Survey – Gopal Gupta, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson, Manuel V. Hermenegildo
30 Estimating the Computational Cost of Logic Programs – S. K. Debray, P. López García, M. Hermenegildo, N.-W. Lin - 1994
13 Efficient Term Size Computation for Granularity Control – M. Hermenegildo, P. López-garcía - 1995
17 Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming – Manuel Hermenegildo - 1997
30 Distributed Concurrent Constraint Execution in the CIAO System – Daniel Cabeza, Manuel Hermenegildo - 1995
28 Automatic Compile-time Parallelization of Logic Programs for Restricted, Goal-level, Independent And-parallelism – K MUTHUKUMAR, F BUENO, DE LA BANDA, M G, M HERMENEGILDO - 1999
1878 Abstract Interpretation: a Unified Lattice Model for Static – P Cousot, R Cousot
51 An abstract machine for restricted AND-parallel execution of logic programs – M V Hermenegildo - 1986
101 The Muse Or-Parallel Prolog Model and its Performance – K A M ALI, R KARLSSON - 1990
22 The CLIP Group. Some Methodological Issues in the Design of CIAO - A Generic, Parallel, Concurrent Constraint System – M Hermenegildo - 1994
15 Towards an Efficient Compile-time Granularity Algorithm – X Zhong, E Tick, S Duvvuru, L Hansen, A Sastry, R Sundararajan - 1992