261 search results - page 19 / 53 » Detecting Temporal Logic Predicates on Distributed Computati... |
176
click to vote
HPCA
2000
IEEE
15 years 10 months ago
2000
IEEE
Main memory accesses continue to be a significant bottleneck for applications whose working sets do not fit in second-level caches. With the trend of greater associativity in seco...
183
click to vote
REX
1991
15 years 9 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
170
click to vote
EWSN
2007
Springer
16 years 5 months ago
2007
Springer
Abstract. In this paper, we propose and evaluate RIDA, a novel informationdriven architecture for distributed data compression in a sensor network, allowing it to conserve energy a...
163
click to vote
DSN
2008
IEEE
16 years 10 days ago
2008
IEEE
In this work, we characterize a significant source of software derating that we call instruction-level derating. Instruction-level derating encompasses the mechanisms by which co...
210
click to vote
IWCM
2004
Springer
15 years 11 months ago
2004
Springer
We present a probabilistic framework for component-based automatic detection and tracking of objects in video. We represent objects as spatio-temporal two-layer graphical models, w...