3441 search results - page 155 / 689 » Parallel Logic Programming Systems |
209
Voted
CP
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...
121
Voted
AAAI
2006
15 years 4 months ago
2006
Intelligent agents must be able to handle the complexity and uncertainty of the real world. Logical AI has focused mainly on the former, and statistical AI on the latter. Markov l...
118
Voted
ICFP
2007
ACM
16 years 2 months ago
2007
ACM
In this paper we present an automated way of using spare CPU resources within a shared memory multi-processor or multi-core machine. Our approach is (i) to profile the execution o...
126
Voted
EUROPAR
2006
Springer
15 years 6 months ago
2006
Springer
Resource constraints are a major concern with the design, development, and deployment of embedded systems. Embedded systems are highly hardware-dependent and have little computatio...
131
Voted
PPOPP
1997
ACM
15 years 6 months ago
1997
ACM
This paper describes a new approach to finding performance bottlenecks in shared-memory parallel programs and its embodiment in the Paradyn Parallel Performance Tools running with...