2488 search results - page 331 / 498 » An improvement in formal verification |
108
click to vote
ACMSE
2005
ACM
15 years 7 months ago
2005
ACM
Through the automation of empirical evaluation we hope to alleviate evaluation problems encountered by software designers who are relatively new to the process. Barriers to good e...
120
click to vote
NOSSDAV
2005
Springer
15 years 7 months ago
2005
Springer
Wireless Network Interface (WNI) is one of the most critical components for power efficiency in multimedia streaming to mobile devices. A common strategy to save power is to switc...
148
click to vote
PEWASUN
2004
ACM
15 years 7 months ago
2004
ACM
This paper studies the performance of a multi-rate mobile ad hoc network (MANET) using an extended ns-2 simulator. A link adaptation algorithm is developed and tested. The multi-r...
WS
2004
ACM
15 years 7 months ago
2004
ACM
802.11i is an IEEE standard designed to provide enhanced MAC security in wireless networks. The authentication process involves three entities: the supplicant (wireless device), t...
118
click to vote
ICCAD
2003
IEEE
15 years 7 months ago
2003
IEEE
Process variations have become a critical issue in performance verification of high-performance designs. We present a new, statistical timing analysis method that accounts for int...