727 search results - page 93 / 146 » A Calculus of Bounded Capacities |
TIT
2002
15 years 4 months ago
2002
This paper focuses on jammed timing channels. Pure delay jammers with a maximum delay constraint, an average delay constraint, or a maximum buffer size constraint are explored, for...
143
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
—Resource allocation is investigated for fading relay channels under separate power constraints at the source and relay nodes. As a basic information-theoretic model for fading r...
149
click to vote
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
— Modern SAT solvers have proved highly successful in finding counterexamples to temporal properties of systems, using a method known as ”bounded model checking”. It is natu...
135
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— The problem of finding an optimal path in an uncertain graph arises in numerous applications, including network routing, path-planning for vehicles, and the control of finite...
136
click to vote
STOC
2000
ACM
15 years 8 months ago
2000
ACM
We give efficient (polynomial-time) list-decoding algorithms for certain families of errorcorrecting codes obtained by "concatenation". Specifically, we give list-decodi...