4586 search results - page 577 / 918 » Computing stable models in parallel |
143
click to vote
DCOSS
2010
Springer
15 years 8 months ago
2010
Springer
This paper presents the uDSSP ("micro DSSP") programming model which simplifies the development of distributed sensor network applications that make use of complex in-net...
176
click to vote
CCGRID
2008
IEEE
15 years 6 months ago
2008
IEEE
In this article, we revisit the problem of scheduling dynamically generated directed acyclic graphs (DAGs) of multi-processor tasks (M-tasks). A DAG is a basic model for expressin...
153
click to vote
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...
142
Voted
COORDINATION
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Service oriented applications feature interactions among several participants over the network. Mechanisms such as correlation sets and two-party sessions have been propo...
123
click to vote
EUROPAR
2008
Springer
15 years 6 months ago
2008
Springer
Performance of distributed applications largely depends on the mapping of their components on the underlying architecture. On one mponent-based approaches provide an abstraction su...