727 search results - page 13 / 146 » A Calculus of Bounded Capacities |
132
click to vote
ISIPTA
2003
IEEE
15 years 11 months ago
2003
IEEE
abstract DAMJAN ˇSKULJ University of Ljubljana, Slovenia A new approach to define a product of capacities is presented. It works for capacities that are in a certain relation wi...
155
click to vote
ESOP
2008
Springer
15 years 7 months ago
2008
Springer
We present a static analysis for inferring the maximum amount of buffer space used by a program consisting of concurrently running processes communicating via buffered channels. We...
195
click to vote
MMB
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Computing tight performance bounds in feed-forward networks under general assumptions about arrival and server models has turned out to be a challenging problem. Recently...
143
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We consider the N-user broadcast erasure channel where feedback from the users is fed back to the transmitter in the form of ACK messages. We provide a generic outer bound to the ...
143
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we study the Nair-El Gamal outer bound and Marton's inner bound for general two-receiver broadcast channels. We show that the Nair-El Gamal outer bound can be m...