1716 search results - page 121 / 344 » Proving Conditional Termination |
ADHOCNOW
2009
Springer
14 years 3 months ago
2009
Springer
We deal with the rate allocation problem for downlink in a Multi-hop Cellular Network. A mathematical model is provided to assign transmission rates in order to reach an optimal an...
FUN
2007
Springer
14 years 3 months ago
2007
Springer
We analyse transports between leaves in an edge-weighted tree. We prove under which conditions there exists a transport matching the weights of a given tree. We use this to compute...
ACRI
2006
Springer
14 years 2 months ago
2006
Springer
A symmetric version of the well-known SPM model for sandpiles is introduced. We prove that the new model has fixed point dynamics. Although there might be several fixed points, ...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract— We consider networks of input-to-state dynamically stable (ISDS) systems and provide a small gain condition under which the entire network is again ISDS. A Lyapunov for...
LICS
1996
IEEE
14 years 1 months ago
1996
IEEE
In this note, we prove that having unique head-normal forms is a sufficient condition on partial combinatory algebras to be completable. As application,we show that the pca of str...