Pedro Lopez Garcia  @ NUS Home/Search
Context
Related
| 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 |
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.comp.nus.edu.sg/702674.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 at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.