571 search results - page 38 / 115 » Performing causality analysis by bounded model checking |
PATMOS
2005
Springer
15 years 5 months ago
2005
Springer
Early circuit performance estimation and easy-to-apply methods for minimum-delay gate sizing are needed, in order to enhance circuit’s performance and to increase designers’ pr...
152
click to vote
TCAD
2010
14 years 6 months ago
2010
For real-time applications, it is necessary to estimate the worst-case performance early in the design process without actual hardware implementation. While the non-preemptive task...
111
click to vote
TCOM
2008
14 years 10 months ago
2008
Collaborative decoding is an approach that can achieve diversity and combining gain by exchanging decoding information among a cluster of physically separated receivers. On AWGN ch...
112
click to vote
TELSYS
2002
2002
Performance Analysis of Reassembly and Multiplexing Queueing with Long-Range-Dependent Input Traffic
14 years 11 months ago
This paper studies the impact of long-range-dependent (LRD) traffic on the performance of reassembly and multiplexing queueing. A queueing model characterizing the general reassemb...
MSWIM
2004
ACM
15 years 5 months ago
2004
ACM
Discrete event network simulators have emerged as popular tools for verification and performance evaluation for various wireless networks. Nevertheless, the desire to model such ...