4586 search results - page 166 / 918 » Computing stable models in parallel |
188
click to vote
IPPS
2005
IEEE
16 years 2 days ago
2005
IEEE
The problem of writing high performance parallel applications becomes even more challenging when irregular, sparse or adaptive methods are employed. In this paper we introduce com...
200
click to vote
COORDINATION
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents Limone, a new coordination model that facilitates rapid application development over ad hoc networks consisting of logically mobile agents and physically mobile...
173
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
The RAIN (Reliable Array of Independent Nodes) project at Caltech is focusing on creating highly reliable distributed systems by leveraging commercially available personal compute...
142
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
We pursue a representation of logic programs as classical first-order sentences. Different semantics for logic programs can then be expressed by the way in which they are wrapped...
146
click to vote
JCB
1998
15 years 6 months ago
1998
We introduce a new model of molecular computation that we call the sticker model. Like many previous proposals it makes use of DNA strands as the physical substrate in which infor...