9110 search results - page 1686 / 1822 » Formally-Based Design Evaluation |
157
click to vote
WCNC
2008
IEEE
15 years 9 months ago
2008
IEEE
—This paper provides analytical expressions to evaluate the performance of a random access wireless network in terms of user throughput and network throughput, subject to the con...
143
click to vote
WCNC
2008
IEEE
15 years 9 months ago
2008
IEEE
Hybrid automatic repeat-request (HARQ) is critical to an IEEE 802.16e OFDMA network, as it can significantly improve the reliability of wireless link. However, as revealed by our...
101
click to vote
ASAP
2007
IEEE
15 years 9 months ago
2007
IEEE
Though all of the current main-stream OSs have supported superpage to some extent, most of them need runtime information provided by applications, simulator or other tools. Transp...
113
Voted
BROADNETS
2007
IEEE
15 years 9 months ago
2007
IEEE
—Epidemic protocols assume that information of a random set of nodes is provided at each protocol round. By definition, the random set needs to be chosen uniformly and randomly ...
146
click to vote
DSN
2007
IEEE
15 years 9 months ago
2007
IEEE
Aggressive CMOS scaling will make future chip multiprocessors (CMPs) increasingly susceptible to transient faults, hard errors, manufacturing defects, and process variations. Exis...