5086 search results - page 231 / 1018 » The Power of Comparative Reasoning |
128
click to vote
PIMRC
2010
IEEE
15 years 4 months ago
2010
IEEE
In many wireless systems, the energy consumed by the receiver is significantly larger than the energy consumed by transmitter, possibly even by orders of magnitudes. This paper der...
149
click to vote
CPAIOR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. While several powerful methods exist for automatically detecting symmetries in instances of constraint satisfaction problems (CSPs), current methods for detecting symmetr...
182
click to vote
SECON
2008
IEEE
16 years 27 days ago
2008
IEEE
—Energy-efficient performance is a central challenge in sensor network deployments, and the radio is a major contributor to overall energy node consumption. Current energyeffic...
163
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper studies the problem of energy conservation of mobile terminals in a multi-cell TDMA network supporting real-time sessions. The corresponding optimization problem involv...
175
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...