1716 search results - page 295 / 344 » Proving Conditional Termination |
106
Voted
JSAC
2010
14 years 11 months ago
2010
—We present a cross-layer design of transmitting scalable video streams from a base station to multiple clients over a shared fading wireless network by jointly considering the a...
110
click to vote
LOGCOM
2010
14 years 11 months ago
2010
This paper has two purposes. The first is to present a final coalgebra construction for finitary endofunctors on Set that uses a certain subset L∗ of the limit L of the firs...
90
Voted
MST
2010
14 years 11 months ago
2010
We study a family of problems, called Maximum Solution (Max Sol), where the objective is to maximise a linear goal function over the feasible integer assignments to a set of variab...
SIAMAM
2010
14 years 11 months ago
2010
We consider systems of hyperbolic balance laws governing flows of an arbitrary number of components equipped with general equations of state. The components are assumed to be immi...
94
Voted
SSS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. This paper presents Combine, a distributed directory protocol for shared objects, designed for large-scale distributed systems. Directory protocols support move requests,...