1615 search results - page 100 / 323 » Distributed Forward Checking |
137
click to vote
PDPTA
2000
15 years 6 months ago
2000
In this paper we address the issue of dependable distributed high performance computing in the field of Symbolic Computation. We describe the extension of a middleware infrastructu...
136
click to vote
FMSD
2006
15 years 4 months ago
2006
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...
127
click to vote
ICIP
2006
IEEE
16 years 6 months ago
2006
IEEE
This paper addresses the problem of low-latency robust video delivery over packet networks characterized by a bursty loss process. We propose a joint source-channel coding based v...
144
click to vote
KIVS
2005
Springer
15 years 10 months ago
2005
Springer
This paper justifies using explicit performance signaling in support of congestion control by means of a simple yet efficient scheme called “Congestion Avoidance with Distribute...
154
click to vote
CONEXT
2007
ACM
15 years 8 months ago
2007
ACM
Protocol extensions for a mobile Internet have been developed within the IETF, but a standard design of mobile multicast is still awaited. Multicast routing, when adapting its dis...