3483 search results - page 228 / 697 » Forward |
243
click to vote
CALCO
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. We propose a probabilistic interpretation of a class of reversible communicating processes. The rate of forward and backward computing steps, instead of being given expli...
190
click to vote
CMSB
2011
Springer
14 years 6 months ago
2011
Springer
Reversible structures are computational units that may progress forward and backward. We study weak coherent structures that are primarily inspired by dna circuits and may be comp...
199
click to vote
PEPM
2012
ACM
14 years 2 months ago
2012
ACM
We share a vision of connecting the topics of bidirectional transformation and inductive program synthesis, by proposing to use the latter in approaching problematic aspects of th...
660
click to vote
Presentation
We have previously proposed a P2P video broadcast method called MTcast for simultaneously delivering video to user peers with different quality requirements. In this paper, we desi...
199
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
—Greedy embedding is a graph embedding that makes the simple greedy packet forwarding scheme successful for every source-destination pair. It is desirable that graph embeddings a...