7456 search results - page 143 / 1492 » Parallelism in Logic Programming |
207
click to vote
AGP
2010
IEEE
15 years 10 months ago
2010
IEEE
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...
158
click to vote
ISCA
1992
IEEE
15 years 10 months ago
1992
IEEE
A quantitative analysis of program execution is essential to the computer architecture design process. With the current trend in architecture of enhancing the performance of unipr...
172
click to vote
CF
2006
ACM
15 years 10 months ago
2006
ACM
This paper presents our experience mapping OpenMP parallel programming model to the IBM Cyclops-64 (C64) architecture. The C64 employs a many-core-on-a-chip design that integrates...
177
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present an integration of answer set programming and constraint processing as an interesting approach to constraint logic programming. Although our research is in a ve...
154
click to vote
ISSTA
2006
ACM
16 years 10 days ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...