6149 search results - page 607 / 1230 » Revealing the programming process |
165
click to vote
ICCAD
2006
IEEE
16 years 4 months ago
2006
IEEE
We present a technique for increasing the throughput of stream processing architectures by removing the bottlenecks caused by loop structures. We implement loops as self-timed pip...
163
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We address ranging energy optimization for an unsynchronized localization system, which features robust sensor positioning, in the sense that specific accuracy requirements are f...
168
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
A computationally efficient distributed beamforming technique for multi-user relay networks is developed. The channel state information is assumed to be known at the relays or de...
161
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we develop an improved approach to the worstcase robust adaptive beamforming for general-rank signal models by means of taking into account the positive semi-defin...
213
click to vote
QEST
2006
IEEE
16 years 1 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...