193 search results - page 25 / 39 » Sequentialization of Parallel Logic Programs with Mode Analy... |
109
click to vote
CVPR
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper we demonstrate how Interval Analysis and Constraint Logic Programming can be used to obtain an accurate geometric model of a scene that rigorously takes into account...
107
click to vote
APLAS
2004
ACM
15 years 5 months ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
PADL
2001
Springer
15 years 4 months ago
2001
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...
121
click to vote
WCRE
2002
IEEE
15 years 4 months ago
2002
IEEE
Scientific, symbolic, and multimedia applications present diverse computing workloads with different types of inherent parallelism. Tomorrow’s processors will employ varying com...
HPCC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Automated online search is a powerful technique for performance diagnosis. Such a search can change the types of experiments it performs while the program is running, mak...