7456 search results - page 153 / 1492 » Parallelism in Logic Programming |
171
click to vote
PRICAI
2000
Springer
15 years 10 months ago
2000
Springer
Defeasible logic is a simple but efficient rule-based non-monotonic logic. It has powerful implementations and shows promise to be applied in the areas of legal reasoning and the m...
167
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
Predicting the running time of a parallel program is useful for determining the optimal values for the parameters of the implementation and the optimal mapping of data on processo...
176
click to vote
PPDP
1999
Springer
15 years 10 months ago
1999
Springer
We present a slicing approach for analyzing logic programs with respect to non-termination. The notion of a failure-slice is presented which is an executable reduced fragment of th...
136
click to vote
SOFTVIS
2005
ACM
15 years 12 months ago
2005
ACM
Programming in parallel is an error-prone and complex task compounded by the lack of tool support for both programming and debugging. Recent advances in compiler-directed shared m...
162
click to vote
PAAPP
2002
15 years 6 months ago
2002
We demonstrate that the run time of implicitly parallel programs can be statically predicted with considerable accuracy when expressed within the constraints of a skeletal, shapel...