Sciweavers

1638 search results - page 227 / 328
» Properties of input-consuming derivations
Sort
View
ESOP
2009
Springer
16 years 1 months ago
Global Principal Typing in Partially Commutative Asynchronous Sessions
We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal fle...
Dimitris Mostrous, Nobuko Yoshida, Kohei Honda
HYBRID
2009
Springer
16 years 1 months ago
Periodically Controlled Hybrid Systems
Abstract. This paper introduces Periodically Controlled Hybrid Automata (PCHA) for describing a class of hybrid control systems. In a PCHA, control actions occur roughly periodical...
Tichakorn Wongpiromsarn, Sayan Mitra, Richard M. M...
GLOBECOM
2009
IEEE
16 years 1 months ago
Downlink Mobile OFDMA Resource Allocation with Minimum User Rate Requests
— The problem of resource allocation (RA) in a downlink OFDMA system with minimum user rate requests is examined under the realistic scenario of partial (imperfect) channel state...
Stelios Stefanatos, Christos Papathanasiou, Nikos ...
ICC
2009
IEEE
175views Communications» more  ICC 2009»
16 years 1 months ago
Effective Capacity Maximization in Multi-Antenna Channels with Covariance Feedback
Abstract—The optimal transmit strategies of single-user multiantenna systems with respect to average capacity maximization are well understood. However, the performance measure d...
Eduard A. Jorswieck, Rami Mochaourab, Martin Mitte...
ICC
2009
IEEE
135views Communications» more  ICC 2009»
16 years 1 months ago
On the Performance of OFDM in Zero-IF Receivers Impaired by Tx Leakage
—Transmitter Leakage has a significant impact on the system performance in mobile devices using zero-IF receivers. In this contribution, the statistical properties of the Tx Lea...
Andreas Frotzscher, Marco Krondorf, Gerhard Fettwe...