Sciweavers

5634 search results - page 859 / 1127
» About Abstract Classes
Sort
View
RTSS
2006
IEEE
16 years 20 days ago
An Optimal Real-Time Scheduling Algorithm for Multiprocessors
We present an optimal real-time scheduling algorithm for multiprocessors — one that satisfies all task deadlines, when the total utilization demand does not exceed the utilizat...
Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen
SEFM
2006
IEEE
16 years 20 days ago
A Theory of Singly-Linked Lists and its Extensible Decision Procedure
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
Silvio Ranise, Calogero G. Zarba
VTC
2006
IEEE
16 years 19 days ago
Using Unclaimed Sub-Carriers in Opportunistic OFDMA Systems
Abstract— In this paper, we consider the unclaimed subcarriers that no user feeds back in an opportunistic OFDMA system with a per sub-carrier power constraint. Unclaimed subcarr...
Patrick Svedman, Leonard J. Cimini Jr., Björn...
VTC
2006
IEEE
112views Communications» more  VTC 2006»
16 years 19 days ago
Interference Suppression Through Adaptive Subset Antenna Transmission in Interference Limited MIMO Wireless Environments
Abstract— We consider spatially multiplexed MIMO transmission in the presence of co-channel interference with subset transmit antenna selection. Several algorithms for antenna se...
Shreeram Sigdel, Witold A. Krzymien
VTC
2006
IEEE
16 years 19 days ago
Scheduling in Cellular CDMA-TDD Networks
Abstract— In this paper different scheduling algorithms applied to cellular CDMA (code division multiple access) systems with different duplexing modes are studied. In particular...
Ellina Foutekova, Patrick Agyapong, Birendra Ghimi...