4164 search results - page 472 / 833 » Timing model reduction for hierarchical timing analysis |
213
click to vote
TMC
2008
15 years 6 months ago
2008
There is a vast literature on the throughput analysis of the IEEE 802.11 media access control (MAC) protocol. However, very little has been done on investigating the interplay betw...
182
click to vote
ANOR
2002
15 years 6 months ago
2002
We introduce a distribution center (DC) location model that incorporates working inventory and safety stock inventory costs at the distribution centers. In addition, the model inco...
216
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
203
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
180
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Databases associated with keywords, can be public, private or hybrid, as a result the solutions to keyword search protocols for each type are different. In this paper, we study...