2903 search results - page 416 / 581 » On the univalence of an integral operator |
181
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 ...
194
click to vote
HOST
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Rapid advances in integrated circuit (IC) development predicted by Moore’s Law lead to increasingly complex, hard to verify IC designs. Design insiders or adversaries ...
217
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
—A variety of wireless network technologies have been developed and deployed, including GSM, UMTS, WiFi and WiMAX. The advantages of having an integrated heterogeneous wireless n...
172
click to vote
WCRE
2009
IEEE
16 years 1 months ago
2009
IEEE
—For a long time, dynamic tracing has been an enabling technique for reverse engineering tools. Tracing can not only be used to record the control flow of a particular component...
212
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...