3357 search results - page 505 / 672 » Controlling Complexity |
133
Voted
ISCC
2006
IEEE
15 years 8 months ago
2006
IEEE
Examining the validity or accuracy of proposed available bandwidth estimation tools remains a challenging problem. A common approach consists of evaluating a newly developed tool ...
119
Voted
MEMOCODE
2006
IEEE
15 years 8 months ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
106
Voted
MICRO
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents and studies a distributed L2 cache management approach through OS-level page allocation for future many-core processors. L2 cache management is a crucial multi...
110
click to vote
TRIDENTCOM
2006
IEEE
15 years 8 months ago
2006
IEEE
—Wireless networks in combination with image sensors open up a multitude of previously unthinkable sensing applications. Capable tools and testbeds for these wireless image senso...
107
click to vote
VTC
2006
IEEE
15 years 7 months ago
2006
IEEE
— We design and implement a local session1 admission control (SAC) algorithm for third-generation wireless networks which allows for the simulation of network throughput for diff...