See this document in CiteSeerX!

Non-failure Analysis and Granularity Control in Parallel Execution of Logic Programs (2000)  (Make Corrections)  
Pedro Lopez Garcia



  Home/Search   Context   Related

 
View or download:
clip.dia.fi.upm.es/pape...pedrophd.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  clip.dia.fi.upm.es/papers/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Logic Programming Languages o#er an excellent framework for the application of automatic parallelization techniques. On the other hand, there are theoretical results that ensure when parallel(ized) programs are correct (i.e. obtain the same results as their corresponding sequential ones), and when execution of parallel (ized) programs do not take longer than that of the sequential ones. However, such results do not take into account a number of overheads which appear in practice, such as... (Update)

Similar documents (at the sentence level):   More
12.0%:   A Methodology for Granularity Based Control of.. - Lopez, Hermenegildo.. (1996)   (Correct)
10.2%:   Non-Failure Analysis for Logic Programs - Debray.. (1997)   (Correct)
9.2%:   Towards Granularity Based Control of Parallelism in.. - Garcia, Hermenegildo.. (1994)   (Correct)

Active bibliography (related documents):   More   All
2.7:   Some Techniques for Automated, Resource-Aware.. - Hermenegildo..   (Correct)
1.0:   Cost Analysis of Logic Programs - Debray (1993)   (Correct)
0.8:   Strict And Non-Strict Independent And-Parallelism In Logic.. - Hermenegildo, Rossi (1993)   (Correct)

Similar documents based on text:   More   All
0.2:   Fault Tolerance using Stable Memory - Coghlan, (eds.) (1999)   (Correct)
0.1:   Efficient Implementation of General Negation Using.. - Munoz, Moreno..   (Correct)
0.1:   A Formal Approach For Generating Oo Specifications From.. - Juristo, Morant, Moreno   (Correct)

BibTeX entry:   (Update)

@misc{ garcia-nonfailure,
  author = "Pedro Lopez Garcia",
  title = "Non-failure Analysis and Granularity Control in Parallel Execution of Logic
    Programs",
  url = "citeseer.ist.psu.edu/lopezgarcia00nonfailure.html" }
Citations (may not include all citations):
4212   Computers and Intractability: A Guide to the Theory of NP-Co.. (context) - Garey, Johnson - 1979
866   Techniques and Tools (context) - Aho, Sethi et al. - 1986
773   Reducibility among Combinatorial Problems (context) - Karp - 1972
250   Artificial Intelligence: A Modern Approach (context) - Russell, Norvig - 1995
247   Partitioning and Scheduling Parallel Programs for Multiproce.. (context) - Sarkar - 1989
221   Constraint Logic Programming (context) - Ja, Lassez - 1987
166   Unification Revisited (context) - Lassez, Maher et al. - 1988
164   A Practical Algorithm for Exact Array Dependence Analysis (context) - Pugh - 1992
162   The Semantics of Predicate Logic as a Programming Language (context) - van Emden, Kowalski - 1976
159   Predicate Logic as a Programming Language (context) - Kowalski - 1974
129   Transformations of Logic Programs: Foundations and Technique.. (context) - Pettorossi, Proietti - 1994
120   The Aurora Or-Parallel Prolog System (context) - Lusk - 1988
108   A Practical Framework for the Abstract Interpretation of Log.. (context) - Bruynooghe - 1991
105   Compile-time Derivation of Variable Dependency Using Abstrac.. - Muthukumar, Hermenegildo - 1992
89   Deriving Descriptions of Possible Values of Program Variable.. (context) - Janssens, Bruynooghe - 1992
89   The Muse Or-Parallel Prolog Model and its Performance (context) - Ali, Karlsson - 1990
82   ACM Transactions on Programming Languages and Systems (context) - Debray, Lin et al. - 1993
80   Fast and precise regular approximations of logic programs - Gallagher, de Waal - 1994
79   Static Inference of Modes and Data Dependencies in Logic Pro.. - Debray - 1989
73   Restricted AND-Parallelism (context) - DeGroot - 1984
70   Equational Problems and Disunification (context) - Comon, Lescanne - 1989
68   Program Flow Analysis: Theory and Applications (context) - Jones, Muchnick - 1981
63   The SRI Model for OR-Parallel Execution of Prolog---Abstract.. (context) - Warren - 1987
59   Combined Determination of Sharing and Freeness of Program Va.. - Muthukumar, Hermenegildo - 1991
51   Grain Size Determination for Parallel Processing (context) - Kruatrachue, Lewis - 1988
48   Prolog System: Exploiting Independent And-Parallelism (context) - Hermenegildo, Greene - 1991
42   Task Granularity Analysis in Logic Programs - Debray, Lin et al. - 1990
39   Automatic Average-Case Analysis of Algorithms - Flajolet, Salvy et al. - 1991
38   Generalized Semantics and Abstract Interpretation for Constr.. - Giacobazzi, Debray et al. - 1995
37   Inferring Argument Size Relationships with CLP - Benoy, King - 1996
36   Opening the Prolog-III Universe (context) - Colmerauer - 1987
34   A Regular Type Language for Logic Programs (context) - Dart, Zobel - 1992
33   An exact method for analysis of valuebased array data depend.. - Pugh, Wonnacott - 1993
32   Strict and Non-Strict Independent And-Parallelism in Logic P.. - Hermenegildo, Rossi - 1995
31   An Abstract Machine Based Execution Model for Computer Archi.. (context) - Hermenegildo - 1986
31   Answer Sets and Negation as Failure (context) - Kunen - 1987
30   And-Parallelism of Logic Programs Based on Static Data Depen.. (context) - Chang, Despain et al. - 1985
29   Parallel Logic Programming Systems (context) - Chassin, Codognet - 1994
27   The CIAO Multi-Dialect Compiler and System: An Experimentati.. - Hermenegildo, Bueno et al. - 1999
27   Non-Failure Analysis for Logic Programs - Debray, Lopez-Garca et al. - 1997
26   Determinism analysis in the mercury compiler - Henderson, Somogyi et al. - 1996
25   Performance Analysis of the Aurora Or-Parallel Prolog System (context) - Szeredi - 1989
25   Explicit Representation of Terms Defined by Counter Examples (context) - Lassez, Marriott - 1987
23   Strictness analysis aids time analysis - Wadler - 1988
23   Debugging and Optimization Using the Ciao System Preprocesso.. (context) - Hermenegildo, Bueno et al. - 1999
22   Cardinality analysis of prolog - Braem, Le Charlier et al. - 1994
21   The PEPSys Model: Combining Backtracking (context) - Westphal, Robert - 1987
20   OR-Parallel Execution Models of Prolog (context) - Warren - 1987
20   A Compositional Approach to Time Analysis of First Order Laz.. (context) - Bjerner, Holmstrom - 1989
19   Complexity Analysis based on Ordered Resolution - Basin, Ganzinger - 1996
18   A polynomial time algorithm for solving systems of linear in.. (context) - Aspvall, Shiloach - 1979
17   Lower Bound Cost Estimation for Logic Programs - Debray, Lopez-Garca et al. - 1997
15   The Automatic Complexity Analysis of Divide-and-Conquer Prog.. - Zimmermann, Zimmermann - 1989
15   Lower-bound Time-complexity Analysis of Logic Programs - King, Shen et al. - 1997
12   A Technique for Recursive Invariance Detection and Selective.. - Giannotti, Hermenegildo - 1991
12   A formal model for or-parallel execution of logic programs (context) - Ciepielewski, Haridi - 1983
12   Estimating the Computational Cost of Logic Programs - Debray, Lopez-Garca et al. - 1994
10   Scalable Abstract Machine Model to Support Limited ORRestric.. (context) - Su, Abstract et al. - 1988
10   Using Run-Time List Sizes to Guide Parallel Thread Creation (context) - Huelsbergen, Larus et al. - 1994
9   ACM Transactions on Programming Languages and Systems (context) - Le Metayer, An et al. - 1988
9   Serial Combinators: Optimal Grains of Parallelism (context) - Goldberg, Hudak - 1985
8   Derivation of Linear Size Relations by Abstract Interpretati.. (context) - Verschaetse, De Schreye - 1992
7   Static Estimation of Query Sizes in Horn Programs (context) - Debray, Lin - 1990
7   Algorithmic Complexity of Logic Programs (context) - Kaplan - 1988
7   A Parallel Implementation of Logic Programs (context) - Lin - 1988
7   Using Complexity Functions to Control Parallelism in Functio.. (context) - Rabhi, Manson - 1990
6   Transparent And-Parallelism in the Presence of Shared Free v.. (context) - Winsborough, Waern - 1988
6   A Parallel Execution Model for Prolog (context) - Fagin - 1987
6   Elimination of Negation in Term Algebras - Lassez, Maher et al. - 1991
6   AndOr Proces Model Parallel Interpretation Logic Program (context) - The, Model et al. - 1983
5   Dynamic Language Parallelization (context) - Huelsbergen - 1993
5   A Methodology for Granularity Based Control of Parallelism i.. (context) - Lopez-Garca, Hermenegildo et al. - 1996
5   Distance: a New Metric for Controlling Granularity for Paral.. - Shen, Costa et al. - 1998
4   PDP Prolog Distributed Processor Independent ANDOR Parallel .. (context) - Araujo, Prolog et al. - 1994
4   Completeness and Full Parallelism of Parallel Logic Programm.. (context) - Kale - 1987
4   A Parallel Prolog System for Distributed Memory (context) - Araujo, Ruz - 1997
3   Handling speculative work in or-parallel prolog: Evaluation .. (context) - Hausman - 1990
3   Automatic Determination of Grain Size for E#cient Parallel P.. (context) - McGreary, Gill - 1989
3   Elsevier NorthHolland Inc (context) - Kowalski, Problem - 1979
2   cient Compile-Time Granularity Analysis Algorithm (context) - Zhong, Tick et al. - 1992
2   Approximating the Chromatic Polynomial of a Graph (context) - Lin - 1993
2   Distributed Semi-Intelligent Backtracking for a Stack-Based .. (context) - Borgwardt, Rea - 1986
2   cient Term Size Computation for Granularity Control (context) - Lopez-Garca, Hermenegildo - 1995
2   Towards Granularity Based Control of Parallelism in Logic Pr.. (context) - Lopez-Garca, Hermenegildo et al. - 1994
2   AND-Parallel PROLOG on Large Scale Transputer-Systems (context) - Penner, Klinger - 1988
2   Automatic Complexity Analysis (context) - Rosendhal - 1989
1   LOG: A Branch and Bound Methodology for the Parallel Executi.. (context) - Lipovski, Hermenegildo - 1985
1   An interpreter of restricted and-parallelism for prolog prog.. (context) - Huang - 1985
1   Towards Cost Analysis of Divide-and-Conquer Logic Programs (context) - Debray, Lopez-Garca et al. - 1995
1   cient Tests for Top-Down Termination of Logical Rules (context) - Ullman, Van Gelder - 1988
1   Analisis de Lenguajes Logicos Concurrentes Mediante Interpre.. (context) - Gallardo - 1997
1   Towards Dynamic Term Size Computation via Program Transforma.. (context) - Lopez-Garca, Hermenegildo - 1993
1   Studying the Cost of Logic Languages in an Abstract Interpre.. (context) - Gallardo, Troya - 1995
1   English translation in Soviet Mathematics---Doklady (context) - Matijasevic, are et al. - 1970
1   Software Development: Management (context) - Kowalski, language et al. - 1980
1   Dynamic Term Size Computation in Logic Programs (context) - Hermenegildo, Lopez-Garca - 1994
1   Granularity Analysis of Concurrent Logic Languages based on .. (context) - Gallardo, Troya - 1994

Documents on the same site (http://clip.dia.fi.upm.es/papers/):   More
A Generic Model for Persistence in (C)LP Systems.. - Correas, Gomez..   (Correct)
CoLogNetWS: the CoLogNet Web-site - Development of a.. - Navas, Cabeza..   (Correct)
Fuzzy Prolog: A Simple General Implementation Using CLP(R) - Vaucheret, Guadarrama.. (2002)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC