4586 search results - page 395 / 918 » Computing stable models in parallel |
136
Voted
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
Kahn defined a formal model for networks of processes that communicate through channels carrying streams of data tokens. His mathematical results show the necessary conditions fo...
164
Voted
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper we present an algorithm for scheduling parallel applications that consist of a divisible workload. Our algorithm uses multiple rounds to overlap communication and co...
197
click to vote
ICDCS
1994
IEEE
15 years 9 months ago
1994
IEEE
In a multidatabase environment with mobile computers involved, the nature of computing is such that the user may not wait for the submitted global transaction to complete before d...
143
Voted
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Molecular geometric properties, such as volume, exposed surface area, and occurrence of internal cavities, are important inputs to many applications in molecular modeling. In this ...
138
click to vote
PODC
2009
ACM
16 years 5 months ago
2009
ACM
In 2004, Klavins et al. introduced the use of graph grammars to describe--and to program--systems of self-assembly. It turns out that these graph grammars can be embedded in a gra...