Sciweavers

12950 search results - page 235 / 2590
» On Optimal Timed Strategies
Sort
View
ICC
2008
IEEE
143views Communications» more  ICC 2008»
16 years 1 months ago
A Closed-Form Expression for Static Worm-Scanning Strategies
—This work presents a closed-form expression for characterizing the spread of static worm-scanning strategies through a mean-field approximation. Our model can both accurately c...
Zesheng Chen, Chao Chen
ICWS
2004
IEEE
15 years 8 months ago
An Adaptive Process Allocation Strategy for Proportional Responsiveness Differentiation on Web Servers
There is a growing demand for provisioning of different levels of quality of service (QoS) on Web servers to meet changing resource availability and satisfy different client requi...
Xiaobo Zhou, Yu Cai, Ganesh Godavari, C. Edward Ch...
ASPDAC
2006
ACM
102views Hardware» more  ASPDAC 2006»
16 years 18 days ago
An O(mn) time algorithm for optimal buffer insertion of nets with m sinks
— Buffer insertion is an effective technique to reduce interconnect delay. In this paper, we give a simple O(mn) time algorithm for optimal buffer insertion, where m is the numbe...
Zhuo Li, Weiping Shi
PATMOS
2007
Springer
16 years 22 days ago
A Statistical Approach to the Timing-Yield Optimization of Pipeline Circuits
Abstract. The continuous miniaturization of semiconductor devices imposes serious threats to design robustness against process variations and environmental fluctuations. Modern ci...
Chin-Hsiung Hsu, Szu-Jui Chou, Jie-Hong Roland Jia...
IPPS
1999
IEEE
15 years 11 months ago
A Formal Framework for Specifying and Verifying Time Warp Optimizations
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
Victoria Chernyakhovsky, Peter Frey, Radharamanan ...