727 search results - page 13 / 146 » A Calculus of Bounded Capacities |
ISIPTA
2003
IEEE
14 years 24 days 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...
ESOP
2008
Springer
13 years 9 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...
MMB
2010
Springer
14 years 9 days 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...
CORR
2010
Springer
13 years 7 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 ...
CORR
2010
Springer
13 years 7 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...