1615 search results - page 100 / 323 » Distributed Forward Checking |
PDPTA
2000
13 years 11 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...
FMSD
2006
13 years 10 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...
ICIP
2006
IEEE
14 years 11 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...
KIVS
2005
Springer
14 years 3 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...
CONEXT
2007
ACM
14 years 2 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...