4255 search results - page 481 / 851 » Cover |
154
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Modern consumer wireless devices are increasingly powerful, making them attractive to use as wireless sensor nodes. At the same time, many use protocol suites such as Bluetooth ...
159
click to vote
DSD
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper, we present a novel framework for the automated generation of Network-on-Chips (NoC) architectures, that enables architecture exploration and optimization. The au...
200
click to vote
DSN
2009
IEEE
16 years 1 months ago
2009
IEEE
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
182
click to vote
FOCS
2009
IEEE
16 years 1 months ago
2009
IEEE
—We introduce a new tool for approximation and testing algorithms called partitioning oracles. We develop methods for constructing them for any class of bounded-degree graphs wit...
163
click to vote
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Mobile video broadcasting service, or mobile TV, is a promising application for 3G wireless network operators. Most existing solutions for video broadcast/multicast services in ...