Sciweavers

65 search results - page 4 / 13
» On Inner Classes
Sort
View
POPL
2003
ACM
14 years 7 months ago
Ownership types for object encapsulation
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...
Chandrasekhar Boyapati, Barbara Liskov, Liuba Shri...
CORR
2008
Springer
104views Education» more  CORR 2008»
13 years 7 months ago
Secrecy capacity of a class of orthogonal relay eavesdropper channels
The secrecy capacity is developed for a class of relay channels with orthogonal components and a passive eavesdropper node. The relay and destination receive signals from the sourc...
Vaneet Aggarwal, Lalitha Sankar, A. Robert Calderb...
POPL
2006
ACM
14 years 7 months ago
A virtual class calculus
Virtual classes are class-valued attributes of objects. Like virtual methods, virtual classes are defined in an object's class and may be redefined within subclasses. They re...
Erik Ernst, Klaus Ostermann, William R. Cook
CORR
2010
Springer
137views Education» more  CORR 2010»
13 years 7 months ago
On broadcast channels with binary inputs and symmetric outputs
We study the capacity regions of broadcast channels with binary inputs and symmetric outputs. We study the partial order induced by the more capable ordering of broadcast channels...
Yanlin Geng, Chandra Nair, Shlomo Shamai, Zizhou V...
CORR
2006
Springer
82views Education» more  CORR 2006»
13 years 7 months ago
Rate Regions for Relay Broadcast Channels
A partially cooperative relay broadcast channel (RBC) is a three-node network with one source node and two destination nodes (destinations 1 and 2) where destination 1 can act as a...
Yingbin Liang, Gerhard Kramer