Sciweavers

5128 search results - page 59 / 1026
» When Abstraction Fails
Sort
View
ETT
2000
149views Education» more  ETT 2000»
14 years 9 months ago
Channel Allocation with Recovery Strategy in Wireless Networks
With the increasing penetration of wireless communications systems, customers are expecting the same level of service, reliability and performance from the wireless communication s...
Yue Ma, James J. Han, Kishor S. Trivedi
ICC
2009
IEEE
117views Communications» more  ICC 2009»
15 years 4 months ago
Two Phase Spectrum Sharing for Frequency-Agile Radio Networks
Abstract—Modern frequency-agile radios are capable of dynamically changing the spectrum width and central frequency of its channels. Existing spectrum sharing algorithms often fa...
Zhenhua Feng, Yaling Yang
ISCAS
2007
IEEE
96views Hardware» more  ISCAS 2007»
15 years 4 months ago
Threshold Voltage Variation Effects on Aging-Related Hard Failure Rates
Abstract— This paper quantifies the impact of threshold voltage variation on aging-related hard failure rates in a highperformance 65nm processor. Simulations show that threshol...
Brian Greskamp, Smruti R. Sarangi, Josep Torrellas
CADE
2007
Springer
15 years 4 months ago
Proving Termination by Bounded Increase
Abstract. Most methods for termination analysis of term rewrite systems (TRSs) essentially try to find arguments of functions that decrease in recursive calls. However, they fail ...
Jürgen Giesl, René Thiemann, Stephan S...
ASIACRYPT
2005
Springer
15 years 3 months ago
A Failure-Friendly Design Principle for Hash Functions
Abstract. This paper reconsiders the established Merkle-Damg˚ard design principle for iterated hash functions. The internal state size w of an iterated n-bit hash function is trea...
Stefan Lucks