1875 search results - page 110 / 375 » A Calculus of Broadcasting Systems |
138
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
The capacity regions are investigated for two relay broadcast channels (RBCs), where relay links are incorporated into two-user broadcast channels to support user cooperation. In t...
95
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper an original detection strategy for satellite digital broadcasting communications is defined; particularly, we consider the DVB-S2 system, which is proposed as a ...
128
Voted
ICFP
2004
ACM
16 years 3 months ago
2004
ACM
Abadi et al. introduced the dependency core calculus (DCC) as a unifying framework to study many important program analyses such as binding time, information flow, slicing, and fu...
152
Voted
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
125
Voted
CIE
2008
Springer
15 years 5 months ago
2008
Springer
Having principal typings (for short PT) is an important property of type systems. This property guarantees the possibility of type deduction which means it is possible to develop a...