3441 search results - page 122 / 689 » Parallel Logic Programming Systems |
154
Voted
OPODIS
2003
15 years 3 months ago
2003
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
106
click to vote
KI
2009
Springer
15 years 7 months ago
2009
Springer
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...
155
Voted
CC
2012
Springer
13 years 10 months ago
2012
Springer
Abstract. How can we exploit a microprocessor as efficiently as possible? The “classic” approach is static optimization at compile-time, optimizing a program for all possible u...
116
click to vote
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part...
130
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
As multi/many core processors become prevalent, programming language is important in constructing efficient parallel applications. In this work, we build a multithreaded video min...