4586 search results - page 166 / 918 » Computing stable models in parallel |
148
Voted
IPPS
2005
IEEE
15 years 9 months 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...
157
Voted
COORDINATION
2004
Springer
15 years 9 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...
134
Voted
IPPS
1999
IEEE
15 years 8 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...
109
Voted
ICLP
2010
Springer
15 years 7 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...
110
Voted
JCB
1998
15 years 3 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...