Sciweavers

3441 search results - page 11 / 689

» Parallel Logic Programming Systems

13

LPAR
1993
Springer

92views Automated Reasoning» more LPAR 1993»

Sequentialization of Parallel Logic Programs with Mode Analysis

13 years 11 months ago

Sequentialization of Parallel Logic Programs with Mode Analysis

Download web.cecs.pdx.edu

Barton C. Massey, Evan Tick

claim paper

Read More »

23

ISMB
1993

112views Computational Biology» more ISMB 1993»

Protein Topology Prediction through Parallel Constraint Logic Programming

13 years 8 months ago

Protein Topology Prediction through Parallel Constraint Logic Programming

Download www.aaai.org

Dominic A. Clark, Christopher J. Rawlings, Jack Sh...

claim paper

Read More »

16

JISE
2000

69views more JISE 2000»

Flat Indexing Scheme: A New Compilation Technique to Enhance Parallelism of Logic Programs

13 years 7 months ago

Flat Indexing Scheme: A New Compilation Technique to Enhance Parallelism of Logic Programs

Download www.iis.sinica.edu.tw

Hiecheol Kim, Kangwoo Lee, Jean-Luc Gaudiot

claim paper

Read More »

27

AMAST
2010
Springer

202views Software Engineering» more AMAST 2010»

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming

13 years 2 months ago

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming

Download mpc2010.fsg.ulaval.ca

Ekaterina Komendantskaya, Guy McCusker, John Power

claim paper

Read More »

22

PPOPP
2009
ACM

135views Distributed and Parallel Com...» more PPOPP 2009»

Serialization sets: a dynamic dependence-based parallel execution model

14 years 8 months ago

Serialization sets: a dynamic dependence-based parallel execution model

Download pages.cs.wisc.edu

This paper proposes a new parallel execution model where programmers augment a sequential program with pieces of code called serializers that dynamically map computational operati...

Matthew D. Allen, Srinath Sridharan, Gurindar S. S...

claim paper

Read More »

« Prev « First page 11 / 689 Last » Next »