6381 search results - page 1088 / 1277 » Alternative Implementation of the C |
188
click to vote
MSWIM
2005
ACM
16 years 22 days ago
2005
ACM
Recently, user mobility in wireless data networks is increasing because of the popularity of portable devices and the desire for voice and multimedia applications. These applicati...
222
click to vote
SBCCI
2005
ACM
16 years 22 days ago
2005
ACM
This work addresses the problem of application mapping in networks-on-chip (NoCs). It explores the importance of characterizing network traffic to effectively predict NoC energy c...
212
click to vote
SIGCOMM
2005
ACM
16 years 22 days ago
2005
ACM
This paper describes ExOR, an integrated routing and MAC protocol that increases the throughput of large unicast transfers in multi-hop wireless networks. ExOR chooses each hop of...
230
click to vote
ATAL
2005
Springer
16 years 22 days ago
2005
Springer
The next generation of air traffic control will require automated decision support systems in order to meet safety, reliability, flexibility, and robustness demands in an environ...
189
click to vote
CAV
2005
Springer
16 years 22 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...