6291 search results - page 886 / 1259 » Components Are from Mars |
177
click to vote
SPIN
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
184
click to vote
WEBI
2007
Springer
16 years 29 days ago
2007
Springer
Nonnegative Matrix Factorization (NMF) has been proven to be effective in text mining. However, since NMF is a well-known unsupervised components analysis technique, the existing ...
204
click to vote
BROADNETS
2006
IEEE
16 years 28 days ago
2006
IEEE
— Data dissemination is an indispensible protocol component for the emerging large-scale sensor networks. In this paper, we propose a secure data dissemination protocol that enha...
193
click to vote
CODES
2006
IEEE
16 years 28 days ago
2006
IEEE
Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variat...
201
click to vote
CODES
2006
IEEE
16 years 28 days ago
2006
IEEE
Process variability has a detrimental impact on the performance of memories and other system components, which can lead to parametric yield loss at the system level due to timing ...