4586 search results - page 128 / 918 » Computing stable models in parallel |
155
click to vote
NPC
2005
Springer
15 years 12 months ago
2005
Springer
This paper focuses on the Cyclops64 computer architecture and presents an analytical model and performance simulation results for the preloading and loop unrolling approaches to op...
153
click to vote
ICLP
2003
Springer
15 years 11 months ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
138
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper reports the development of the Concerto platform, which is dedicated to supporting the deployment of parallel adaptive components on clusters of workstations. The curre...