Pages that link to "Item:Q1819926"
From MaRDI portal
The following pages link to OR-parallel execution of Prolog on a multi-sequential machine (Q1819926):
Displaying 5 items.
- Transforming generate-and-test programs to execute under committed-choice AND-parallelism (Q914360) (← links)
- A parallel Prolog resolution based on multiple unifications (Q1195712) (← links)
- Performance of Muse on switch-based multiprocessor machines (Q1205182) (← links)
- The reduce-or process model for parallel execution of logic programs (Q3361876) (← links)
- Threads and or-parallelism unified (Q3585157) (← links)