2703 search results - page 460 / 541 » Optimizing memory transactions |
130
Voted
KIVS
2009
Springer
15 years 7 months ago
2009
Springer
We present an integrated approach for supporting in-network sensor data processing in dynamic and heterogeneous sensor networks. The concept relies on data stream processing techni...
75
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— Many decision systems rely on a precisely known Markov Chain model to guarantee optimal performance, and this paper considers the online estimation of unknown, nonstationary Ma...
96
Voted
CEC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
103
click to vote
PDP
2008
IEEE
15 years 7 months ago
2008
IEEE
Matrix computation algorithms often exhibit dependencies between neighboring elements inside loop nests such that the frontier between computed elements and those to be computed w...
125
Voted
RSP
2008
IEEE
15 years 7 months ago
2008
IEEE
ASIP-based implementations constitute a key trend in SoC design enabling optimal tradeoffs between performance and flexibility. This paper details a case study of an ASIP-based im...