Sciweavers

2211 search results - page 106 / 443
» Robustness of Model-Based Simulations
Sort
View
137
Voted
TCAD
2002
121views more  TCAD 2002»
15 years 3 months ago
Robust Boolean reasoning for equivalence checking and functional property verification
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, ...
155
Voted
GLOBECOM
2010
IEEE
15 years 1 months ago
Robust Spectrum Decision Protocol against Primary User Emulation Attacks in Dynamic Spectrum Access Networks
We propose a spectrum decision protocol resilient to primary user emulation attacks (PUEA) in dynamic spectrum access networks. PUEA is a type of denial-of-service attack that can ...
Z. Jin, S. Anand, K. P. Subbalakshmi
GLOBECOM
2010
IEEE
15 years 1 months ago
Interference-Aware Robust Wireless Mesh Network Design
Interference has been proven to have an effect on the performance in wireless mesh networks (WMN). Using multichannels can improve the performance of WMNs by reducing interference ...
Farah Kandah, Weiyi Zhang, Yashaswi Singh, Juan Li
ICASSP
2010
IEEE
15 years 1 months ago
Robust rate-maximization game under bounded channel uncertainty
The problem of decentralized power allocation for competitive rate maximization in a frequency-selective Gaussian interference channel is considered. In the absence of perfect kno...
Amod J. G. Anandkumar, Animashree Anandkumar, Sang...
IPPS
2010
IEEE
15 years 1 months ago
Robust control-theoretic thermal balancing for server clusters
Thermal management is critical for clusters because of the increasing power consumption of modern processors, compact server architectures and growing server density in data center...
Yong Fu, Chenyang Lu, Hongan Wang