15421 search results - page 2955 / 3085 » Dependability |
145
click to vote
MICRO
2008
IEEE
15 years 6 months ago
2008
IEEE
Verification of chip multiprocessor memory systems remains challenging. While formal methods have been used to validate protocols, simulation is still the dominant method used to ...
154
click to vote
JSAC
2006
15 years 6 months ago
2006
Abstract--The proliferation of wireless multihop communication infrastructures in office or residential environments depends on their ability to support a variety of emerging appli...
172
click to vote
JSAC
2006
15 years 6 months ago
2006
Abstract--The current framework of network utility maximization for rate allocation and its price-based algorithms assumes that each link provides a fixed-size transmission "p...
167
click to vote
JSAC
2006
15 years 6 months ago
2006
Abstract--The Internet is a large, heterogeneous system operating at very high speeds and consisting of a large number of users. Researchers use a suite of tools and techniques in ...
169
click to vote
JSAC
2006
15 years 6 months ago
2006
Abstract-- The performance of ad hoc networks depends on cooperation and trust among distributed nodes. To enhance security in ad hoc networks, it is important to evaluate trustwor...