Automatically assigned DDC number: 005131

Manually assigned DDC number: 005115

Number of references: 16

Title: Extended Dynamic Dependent And-parallelism in ACE

Author:

Author:

Subject: Enrico Pontelli,Gopal Gupta Extended Dynamic Dependent And-parallelism in ACE

Description: We present an execution model for Dynamic Dependent And-parallelism as well as an extension of the scheme in which deterministic consumer goals are allowed to bind their dependent variables ahead of time. The extended scheme leads to: (i) improved efficiency due to pruning of program search space; and, (ii) exploitation of more parallelism due to increased overlapping of dependent executions. In dynamic dependent and-parallel execution, given a parallel conjunction with a shared variable X, the leftmost goal is normally designated as the producer of the binding for X, all others goals are designated as consumers. If the producer goal finishes execution without binding X, then the leftmost consumer goal becomes the next producer and so on. In the extended scheme a deterministic consumer goal is also allowed to bind the dependent variable. Our extension leads to incorporation of coroutining in a dynamic dependent and-parallel system. The extended dynamic dependent and-paral...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 2000-01-11

Pubyear: 1997

Format: ps

Identifier: http://citeseer.ist.psu.edu/330910.html

Source: http://www.cs.nmsu.edu/~gupta/ace/eddap.ps

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/7964.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Logic   Programming"   CiteSeer_Volume=""   Title="Reform   Prolog:   The   Language   and   Its   Implementation,">

            <identifier   Org="ISBN:0262631733"   Paper_ID="/7964.html"   Extracted="0262631733"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:026264035X"   Paper_ID="/7964.html"   Extracted="026264035X"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0262691779"   Paper_ID="/7964.html"   Extracted="0262691779"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0818671955"   Paper_ID="/7964.html"   Extracted="0818671955"   />

            <identifier   Org="ISBN:0818677929"   Paper_ID="/7964.html"   Extracted="0818677929"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0824722957"   Paper_ID="/7964.html"   Extracted="0824722957"   />

            <identifier   Org="ISBN:1402006233"   Paper_ID="/7964.html"   Extracted="1402006233"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540568913"   Paper_ID="/7964.html"   Extracted="3540568913"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540571868"   Paper_ID="/7964.html"   Extracted="3540571868"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540677976"   Paper_ID="/7964.html"   Extracted="3540677976"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.125"   />

      </rec>

      <rec   ID="/343999.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Logic   Programming"   CiteSeer_Volume=""   Title="Extracting   Determinacy   in   Logic   Programs,">

            <identifier   Org="ISBN:0262620995"   Paper_ID="/343999.html"   Extracted="0262620995"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:0262691779"   Paper_ID="/343999.html"   Extracted="0262691779"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:354021402X"   Paper_ID="/343999.html"   Extracted="354021402X"   />

            <identifier   Org="ISBN:3540254358"   Paper_ID="/343999.html"   Extracted="3540254358"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540266550"   Paper_ID="/343999.html"   Extracted="3540266550"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.25"   />

      </rec>

      <rec   ID="/63444.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Joint   International   Conference   and   Symposium   on   Logic   Programming"   CiteSeer_Volume=""   Title="jc:   An   Efficient   and   Portable   Sequential   Implementation   of   Janus,">

            <identifier   Org="ISBN:0262620995"   Paper_ID="/63444.html"   Extracted="0262620995"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:026264035X"   Paper_ID="/63444.html"   Extracted="026264035X"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0262691779"   Paper_ID="/63444.html"   Extracted="0262691779"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0780324935"   Paper_ID="/63444.html"   Extracted="0780324935"   />

            <identifier   Org="ISBN:0792394577"   Paper_ID="/63444.html"   Extracted="0792394577"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0824722957"   Paper_ID="/63444.html"   Extracted="0824722957"   />

            <identifier   Org="ISBN:0897917200"   Paper_ID="/63444.html"   Extracted="0897917200"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540568913"   Paper_ID="/63444.html"   Extracted="3540568913"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540569219"   Paper_ID="/63444.html"   Extracted="3540569219"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540569448"   Paper_ID="/63444.html"   Extracted="3540569448"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540584021"   Paper_ID="/63444.html"   Extracted="3540584021"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540610537"   Paper_ID="/63444.html"   Extracted="3540610537"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540655271"   Paper_ID="/63444.html"   Extracted="3540655271"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540659684"   Paper_ID="/63444.html"   Extracted="3540659684"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:354071409X"   Paper_ID="/63444.html"   Extracted="354071409X"   />

      </rec>

      <rec   ID="/290689.html"   Type="article"   CiteSeer_Book="New   Generation   Computing"   CiteSeer_Volume="11"   Title="And-Or   Parallel   Prolog:   A   Recomputation   Based   Approach,">

            <identifier   Org="ISBN:0262631806"   Paper_ID="/290689.html"   Extracted="0262631806"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:0769501435"   Paper_ID="/290689.html"   Extracted="0769501435"   />

            <identifier   Org="ISBN:3540664432"   Paper_ID="/290689.html"   Extracted="3540664432"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="/371034.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Seventh   International   Conference   on   Logic   Programming"   CiteSeer_Volume=""   Title="Kernel   Andorra   {P}rolog   and   its   Computation   Model,"   />

      <rec   ID="/191826.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="AKL---A   Multiparadigm   Programming   Language,">

            <identifier   Org="ISBN:0262631806"   Paper_ID="/191826.html"   Extracted="0262631806"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0262691779"   Paper_ID="/191826.html"   Extracted="0262691779"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0444527265"   Paper_ID="/191826.html"   Extracted="0444527265"   DDC="005.1/16"   Normalized_DDC="005116"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:079238038X"   Paper_ID="/191826.html"   Extracted="079238038X"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540222537"   Paper_ID="/191826.html"   Extracted="3540222537"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540417680"   Paper_ID="/191826.html"   Extracted="3540417680"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540433716"   Paper_ID="/191826.html"   Extracted="3540433716"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354060359X"   Paper_ID="/191826.html"   Extracted="354060359X"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540606882"   Paper_ID="/191826.html"   Extracted="3540606882"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540643583"   Paper_ID="/191826.html"   Extracted="3540643583"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540665404"   Paper_ID="/191826.html"   Extracted="3540665404"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540678859"   Paper_ID="/191826.html"   Extracted="3540678859"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540774416"   Paper_ID="/191826.html"   Extracted="3540774416"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540787682"   Paper_ID="/191826.html"   Extracted="3540787682"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540899812"   Paper_ID="/191826.html"   Extracted="3540899812"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

      </rec>

      <rec   ID="/20099.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="The   BEAM:   Towards   a   first   EAM   Implementation,">

            <identifier   Org="ISBN:0824722957"   Paper_ID="/20099.html"   Extracted="0824722957"   />

            <identifier   Org="ISBN:1402006233"   Paper_ID="/20099.html"   Extracted="1402006233"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540222537"   Paper_ID="/20099.html"   Extracted="3540222537"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540417680"   Paper_ID="/20099.html"   Extracted="3540417680"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/70685.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Exploiting   fine-grain   parallelism   in   concurrent   constraint   languages,">

            <identifier   Org="ISBN:0262631806"   Paper_ID="/70685.html"   Extracted="0262631806"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:0444527265"   Paper_ID="/70685.html"   Extracted="0444527265"   DDC="005.1/16"   Normalized_DDC="005116"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540433716"   Paper_ID="/70685.html"   Extracted="3540433716"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:9150612158"   Paper_ID="/70685.html"   Extracted="9150612158"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.25"   />

      </rec>

      <rec   ID="/695094.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Eighth   International   Conference   on   Logic   Programming"   CiteSeer_Volume=""   Title="Combined   Determination   of   Sharing   and   Freeness   of   Program   Variables   through   Abstract   Interpretation,">

            <identifier   Org="ISBN:0262560585"   Paper_ID="/695094.html"   Extracted="0262560585"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:026264035X"   Paper_ID="/695094.html"   Extracted="026264035X"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0262731053"   Paper_ID="/695094.html"   Extracted="0262731053"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0818625856"   Paper_ID="/695094.html"   Extracted="0818625856"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1581132654"   Paper_ID="/695094.html"   Extracted="1581132654"   />

            <identifier   Org="ISBN:354021402X"   Paper_ID="/695094.html"   Extracted="354021402X"   />

            <identifier   Org="ISBN:3540252363"   Paper_ID="/695094.html"   Extracted="3540252363"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540266550"   Paper_ID="/695094.html"   Extracted="3540266550"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540309470"   Paper_ID="/695094.html"   Extracted="3540309470"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540403256"   Paper_ID="/695094.html"   Extracted="3540403256"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540557199"   Paper_ID="/695094.html"   Extracted="3540557199"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540584854"   Paper_ID="/695094.html"   Extracted="3540584854"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540601058"   Paper_ID="/695094.html"   Extracted="3540601058"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540617396"   Paper_ID="/695094.html"   Extracted="3540617396"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540620648"   Paper_ID="/695094.html"   Extracted="3540620648"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540664599"   Paper_ID="/695094.html"   Extracted="3540664599"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540686762"   Paper_ID="/695094.html"   Extracted="3540686762"   />

            <identifier   Org="ISBN:3540897399"   Paper_ID="/695094.html"   Extracted="3540897399"   />

            <identifier   Org="ISBN:4274077241"   Paper_ID="/695094.html"   Extracted="4274077241"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.06666666666666667"   />

      </rec>

      <rec   ID="/45550.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="A   Parallel   Implementation   of   the   Andorra   Kernel   Language,"   />

      <rec   ID="/327425.html"   Type="inproceedings"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Efficient   Backtracking   in   And-Parallel   Implementations   of   Non-Deterministic   Languages,">

            <identifier   Org="ISBN:0780399277"   Paper_ID="/327425.html"   Extracted="0780399277"   />

            <identifier   Org="ISBN:3540899812"   Paper_ID="/327425.html"   Extracted="3540899812"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="1.0"   />

      </rec>

      <rec   ID="/125509.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="ACE:   A   High-Performance   Parallel   Prolog   System,">

            <identifier   Org="ISBN:3540774416"   Paper_ID="/125509.html"   Extracted="3540774416"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="1.0"   />

      </rec>

      <rec   ID="/327200.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Logic   Programming"   CiteSeer_Volume=""   Title="Automatic   Compile-time   Parallelization   of   Prolog   Programs   for   Dependent   And-Parallelism,">

            <identifier   Org="ISBN:026264035X"   Paper_ID="/327200.html"   Extracted="026264035X"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="1.0"   />

      </rec>

      <rec   ID="/334620.html"   Type="article"   CiteSeer_Book="Lecture   Notes   in   Computer   Science"   CiteSeer_Volume="1346"   Title="On   the   Complexity   of   Parallel   Implementation   of   Logic   Programs   (Extended   Abstract),"   />

      <rec   ID="/260185.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Computer   Languages"   CiteSeer_Volume=""   Title="A   Conservative   Technique   to   Improve   Deterministic   Evaluation   of   Logic   Programs,"   />

      <rec   ID="/53296.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   3rd   ACM   SIGPLAN   Symposium   on   Principles      Practice   of   Parallel   Programming"   CiteSeer_Volume=""   Title="Andorra-{I}:   a   parallel   Prolog   system   that   transparently   explots   both   And-   and   Or-   parallelism,"   />

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Extended   Dynamic   Dependent   And-parallelism   in   ACE">

            <identifier   Org="ISBN:0824722957"   Paper_ID="SELF"   Extracted="0824722957"   />

            <identifier   Org="ISBN:3540417680"   Paper_ID="SELF"   Extracted="3540417680"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="1.0"   />

      </rec>

</references_metadata>

www.000webhost.com