6061 search results - page 94 / 1213 » Dynamic group communication |
118
click to vote
CONCUR
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
134
click to vote
SMARTNET
2000
15 years 5 months ago
2000
: Due to the deregulation of the telecom network and the Internet, users will have access to an increasing number of heterogeneous communication services and will need to adapt the...
140
click to vote
DATE
1999
IEEE
15 years 8 months ago
1999
IEEE
We present a novel algorithm based on dynamic programming with binning to find, subject to a given deadline, the minimum-cost coarse-grain hardware/software partitioning and mappin...
173
click to vote
PASTE
2010
ACM
15 years 9 months ago
2010
ACM
Multicore is now the dominant processor trend, and the number of cores is rapidly increasing. The paradigm shift to multicore forces the redesign of the software stack, which incl...
146
click to vote
PPOPP
2010
ACM
16 years 1 months ago
2010
ACM
Many large-scale parallel programs follow a bulk synchronous parallel (BSP) structure with distinct computation and communication phases. Although the communication phase in such ...