Sciweavers

3190 search results - page 102 / 638
» cans 2011
Sort
View
109
Voted
JSAC
2011
108views more  JSAC 2011»
14 years 7 months ago
A Model-Based Approach to Cognitive Radio Design
Abstract—Cognitive radio is a promising technology for fulfilling the spectrum and service requirements of future wireless communication systems. Real experimentation is a key f...
Jorg Lotze, Suhaib A. Fahmy, Juanjo Noguera, Linda...
JSAC
2011
215views more  JSAC 2011»
14 years 7 months ago
Opportunistic Spectrum Sharing Schemes for CDMA-Based Uplink MAC in Cognitive Radio Networks
—We consider a wireless cognitive radio network in which a set of secondary users (SUs) opportunistically utilize the wireless spectrum licensed to the primary users (PUs) to tra...
Xi Zhang, Hang Su
NFM
2011
306views Formal Methods» more  NFM 2011»
14 years 7 months ago
Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...
Rüdiger Ehlers
105
Voted
RTS
2011
123views more  RTS 2011»
14 years 7 months ago
Feasibility analysis under fixed priority scheduling with limited preemptions
—Preemptive scheduling often generates a significant runtime overhead that may increase task worst-case execution times up to 40%, with respect to a fully non preemptive executi...
Gang Yao, Giorgio C. Buttazzo, Marko Bertogna
SIAMMAX
2011
111views more  SIAMMAX 2011»
14 years 7 months ago
Ergodicity Coefficients Defined by Vector Norms
Abstract. Ergodicity coefficients for stochastic matrices determine inclusion regions for subdominant eigenvalues; estimate the sensitivity of the stationary distribution to change...
Ilse C. F. Ipsen, Teresa M. Selee