7456 search results - page 371 / 1492 » Parallelism in Logic Programming |
161
click to vote
PVM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents the concept of parallelisation of a solver for Answer Set Programming (ASP). While there already exist some approaches to parallel ASP solving, there ...
182
click to vote
IPPS
2005
IEEE
16 years 9 days ago
2005
IEEE
The paper is devoted to analysis of a strategy of computation distribution on heterogeneous parallel systems. According to this strategy processes of parallel program are distribu...
170
click to vote
ICPPW
2003
IEEE
16 years 2 hour ago
2003
IEEE
In this paper a simple but effective approach for parallelization of cellular neural networks for image processing is developed. Digital gray-scale images were used to evaluate th...
163
click to vote
CONCUR
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
207
click to vote
PODC
1994
ACM
15 years 10 months ago
1994
ACM
We describe a method for writing assumption/guarantee specifications of concurrent systems. We also provide a proof rule for reasoning about the composition of these systems. Spec...