6607 search results - page 638 / 1322 » Making TeX Work |
229
click to vote
INFOCOM
1999
IEEE
15 years 11 months ago
1999
IEEE
We propose a flow-control scheme for multicast ABR services in ATM networks. At the heart of the proposed scheme is an optimal secondorder rate control algorithm, called the -contr...
183
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper explains how efficient support for semiregular distributions can be incorporated in a uniform compilation framework for hybrid applications. The key focus of this work ...
215
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
202
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Parallel programming continues to be difficult, despite substantial and ongoing research aimed at making it tractable. Especially dismaying is the gulf between theory and the pract...
203
click to vote
ISADS
1999
IEEE
15 years 11 months ago
1999
IEEE
: In a decentralised system the problems of fault tolerance, and in particular error recovery, vary greatly depending on the design assumptions. For example, in a distributed datab...