Sciweavers

3441 search results - page 13 / 689
» Parallel Logic Programming Systems
Sort
View
62
Voted
EUROPAR
2004
Springer
15 years 3 months ago
Designing Parallel Operating Systems via Parallel Programming
Abstract. Ever-increasing demand for computing capability is driving the construction of ever-larger computer clusters, soon to be reaching tens of thousands of processors. Many fu...
Eitan Frachtenberg, Kei Davis, Fabrizio Petrini, J...
PDSE
1998
105views more  PDSE 1998»
14 years 11 months ago
A Case-Based Parallel Programming System
This paper describes how to reduce the burden of parallel programming by utilizing relevant parallel programs. Parallel algorithms are divided into four classes and a case base fo...
Katsuhiro Yamazaki, Shoichi Ando
74
Voted
JFLP
2002
84views more  JFLP 2002»
14 years 9 months ago
Subject Reduction of Logic Programs as Proof-Theoretic Property
We consider prescriptive type systems for logic programs (as in G
Pierre Deransart, Jan-Georg Smaus