15792 search results - page 2636 / 3159 » Computational Abstraction Steps |
188
click to vote
EWSN
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. The need of monitoring people, animals, and things in general, brings to consider mobile WSNs besides traditional, fixed ones. Moreover, several advanced scenarios, like ...
234
click to vote
EWSN
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In their EWSN'07 paper [1], Giusti et al. proposed a decentralized wake-up scattering algorithm for temporally spreading the intervals in which the nodes of a wirele...
176
click to vote
VLSID
2008
IEEE
16 years 7 months ago
2008
IEEE
Abstract-- With the continuous downscaling of CMOS technologies, the reliability has become a major bottleneck in the evolution of the next generation systems. Technology trends su...
184
click to vote
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardw...
195
click to vote
VLSID
2005
IEEE
16 years 7 months ago
2005
IEEE
Abstract-- We present two-dimensional (space/time) compression techniques that reduce test data volume and test application time for scan testing of intellectual property (IP) core...