3360 search results - page 348 / 672 » An Optimal Distributed Edge-Biconnectivity Algorithm |
217
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
168
click to vote
LCN
2007
IEEE
16 years 1 months ago
2007
IEEE
- Multiple distribution trees and multiple description (MD) coding are highly robust since they provide redundancy both in network paths and data. However, MD coded streaming inclu...
197
click to vote
GECCO
2007
Springer
16 years 29 days ago
2007
Springer
Evolutionary algorithms applied in real domain should profit from information about the local fitness function curvature. This paper presents an initial study of an evolutionary...
157
click to vote
DEBS
2007
ACM
15 years 10 months ago
2007
ACM
Most of currently available content-based publish-subscribe systems that were designed to operate in large scale, wired scenarios, build their routing infrastructure as a set of b...
190
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
The ways in which an agent’s actions affect the world can often be modeled compactly using a set of relational probabilistic planning rules. This paper addresses the problem of ...