Pages that link to "Item:Q1098621"

The following pages link to An execution model for exploiting AND-parallelism in logic programs (Q1098621):

Displaying 18 items.

• Transforming generate-and-test programs to execute under committed-choice AND-parallelism (Q914360) (← links)
• Efficient backward execution in AND/OR process model (Q1114389) (← links)
• A backtracking algorithm for the stream AND-parallel execution of logic programs (Q1118390) (← links)
• Yet another efficient backward execution algorithm in the AND/OR process model (Q1183471) (← links)
• A methodology for detecting shared variable dependencies in logic programs (Q1186710) (← links)
• The implementation of a distributed model for logic programming based on multiple-headed clauses (Q1198092) (← links)
• Forward checking and intelligent backtracking (Q1263983) (← links)
• Parallel processing for difficult combinatorial optimization problems (Q1268289) (← links)
• Determinacy analysis for efficient execution of logic programs (Q1818409) (← links)
• An and-parallelism cooperative scheme for full Prolog interpreters on a transputer-based architecture (Q2757825) (← links)
• Independent and-parallelization of logic programs using static slicing (Q2770772) (← links)
• A design and implementation of the extended Andorra model (Q2909520) (← links)
• (Q3359739) (← links)
• The reduce-or process model for parallel execution of logic programs (Q3361876) (← links)
• (Q3489440) (← links)
• (Q4013774) (← links)
• (Q4282520) (← links)
• Parma—bridging the performance gap between imperative and logic programming (Q4339844) (← links)