2286 search results - page 64 / 458 » Statistical timing analysis based on a timing yield model |
128
click to vote
SNPD
2008
15 years 5 months ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
154
click to vote
PEWASUN
2004
ACM
15 years 10 months ago
2004
ACM
An M/MMGI/1/K queuing model is developed for the analysis of IEEE 802.11 DCF using RTS/CTS. Results are based on arbitrary contention conditions, namely, collision probabilities, ...
109
click to vote
LCN
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper deals with voice communication models for disaster area scenarios. The goal is to design models that can be used to generate realistic push to talk traffic for single ...
135
click to vote
SIGPRO
2011
14 years 11 months ago
2011
A fast and exact procedure for the numerical synthesis of stationary multivariate Gaussian time series with a priori prescribed and well controlled autoand cross-covariance functi...
154
click to vote
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...