Sciweavers

2233 search results - page 343 / 447
» Modular type classes
Sort
View
111
Voted
ICC
2007
IEEE
112views Communications» more  ICC 2007»
15 years 9 months ago
Adaptive Radio Resource Allocation for Downlink OFDMA/SDMA Systems
— This paper proposes an adaptive radio resource allocation (ARRA) algorithm for downlink OFDMA/SDMA systems with multimedia traffic. Considering multiple service classes and di...
Chun-Fan Tsai, Chung-Ju Chang, Fang-Ching Ren, Chi...
ICC
2007
IEEE
15 years 9 months ago
Trade-Offs of Spatial Gain for QoS-Guaranteed Services in the MIMO Broadcast Channels
— Although the capacity of multiple-input multiple output (MIMO) broadcast channels (BCs) can be achieved by dirty-paper coding (DPC), it is difficult to apply the results direct...
Seung Hwan Lee, John S. Thompson
116
Voted
ICC
2007
IEEE
15 years 9 months ago
A Measurement Based Dynamic Policy for Switched Processing Systems
Abstract- Switched Processing Systems (SPS) represent a canonical model for many areas of applications of communication, computer and manufacturing systems. They are characterized ...
Ying-Chao Hung, George Michailidis
123
Voted
TASE
2007
IEEE
15 years 8 months ago
Symmetry Reduced Model Checking for B
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
Edd Turner, Michael Leuschel, Corinna Spermann, Mi...
136
Voted
AMR
2007
Springer
143views Multimedia» more  AMR 2007»
15 years 8 months ago
User Modelling for Interactive User-Adaptive Collection Structuring
Abstract. Automatic structuring is one means to ease access to document collections, be it for organization or for exploration. Of even greater help would be a presentation that ad...
Andreas Nürnberger, Sebastian Stober