1755 search results - page 136 / 351 » An efficient simulation algorithm based on abstract interpre... |
127
click to vote
TPDS
2008
15 years 3 months ago
2008
It is anticipated that a large amount of multicast traffic needs to be supported in future communication networks. The network coding technique proposed recently is promising for e...
157
click to vote
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
211
click to vote
ICDE
2006
IEEE
16 years 4 months ago
2006
IEEE
Wireless sensor networks generate a vast amount of data. This data, however, must be sparingly extracted to conserve energy, usually the most precious resource in battery-powered ...
109
click to vote
TWC
2008
15 years 3 months ago
2008
In modern wireless communication systems, power control plays a fundamental role for efficient resource utilization, in particular in the systems where the users share the same ban...
115
click to vote
ICIP
2003
IEEE
16 years 4 months ago
2003
IEEE
We present a maximum likelihood (Ml) solution to the problem of obtaining high-resolution images from sequences of noisy, blurred, and low-resolution images. In our formulation, t...