Sciweavers

1404 search results - page 94 / 281
» Complexity of admissible rules
Sort
View
146
Voted
GLOBECOM
2009
IEEE
15 years 7 months ago
Optimum Allocation of Energy and Spectrum in Power-Controlled Wireless Networks with QoS Constraints
An important performance measure in wireless networks is the manner in which the network can distributively manage its limited energy and spectrum resources, while assuring certain...
Stepán Kucera, Ludek Kucera, Bing Zhang
160
Voted
ESOP
2006
Springer
15 years 7 months ago
Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types
We present a sound and complete proof technique, based on syntactic logical relations, for showing contextual equivalence of expressions in a -calculus with recursive types and imp...
Amal J. Ahmed
158
Voted
TWC
2008
225views more  TWC 2008»
15 years 3 months ago
Joint rate and power allocation for cognitive radios in dynamic spectrum access environment
Abstract--We investigate the dynamic spectrum sharing problem among primary and secondary users in a cognitive radio network. We consider the scenario where primary users exhibit o...
Dong In Kim, Long Le, Ekram Hossain
141
Voted
CGF
1999
98views more  CGF 1999»
15 years 3 months ago
Interactive Mechanical Design Variation for Haptics and CAD
A fast design variation technique for mechanical systems is presented. It is used to interactively optimize mechanical characteristics while "self-assembling" or satisfy...
Donald D. Nelson, Elaine Cohen
161
Voted
ICDE
2011
IEEE
274views Database» more  ICDE 2011»
14 years 7 months ago
SQPR: Stream query planning with reuse
—When users submit new queries to a distributed stream processing system (DSPS), a query planner must allocate physical resources, such as CPU cores, memory and network bandwidth...
Evangelia Kalyvianaki, Wolfram Wiesemann, Quang Hi...