35 search results - page 1 / 7 » Platypus: A Platform for Distributed Answer Set Solving |
LPNMR
2005
Springer
13 years 11 months ago
2005
Springer
ECAI
2006
Springer
13 years 9 months ago
2006
Springer
The PLATYPUS approach offers a generic platform for distributed answer set solving, accommodating a variety of different architectures for distributing the search for answer sets a...
PVM
2009
Springer
13 years 12 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 ...
JSA
1998
13 years 5 months ago
1998
In this paper, we present a network conscious approach to designing distributed real-time systems. Given a task graph design of the system, the end-to-end constraints on the input...
IPPS
2010
IEEE
13 years 3 months ago
2010
IEEE
Complex networks capture interactions among entities in various application areas in a graph representation. Analyzing large scale complex networks often answers important question...