774 search results - page 82 / 155 » Experiences of low power design implementation and verificat... |
170
click to vote
ISSTA
2004
ACM
16 years 8 days ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
252
click to vote
MOBISYS
2011
ACM
14 years 9 months ago
2011
ACM
Clock synchronization is critical for Wireless Sensor Networks (WSNs) due to the need of inter-node coordination and collaborative information processing. Although many message pa...
205
click to vote
HUC
2010
Springer
15 years 8 months ago
2010
Springer
We present WATTR, a novel self-powered water activity sensor that utilizes residential water pressure impulses as both a powering and sensing source. Consisting of a power harvest...
196
click to vote
IEEEPACT
2003
IEEE
16 years 4 days ago
2003
IEEE
We investigate the implementation of IP look-up for core routers using multiple microengines and a tailored memory hierarchy. The main architectural concerns are limiting the numb...
180
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
This paper describes a novel engine, called PE-ICE (Parallelized Encryption and Integrity Checking Engine), enabling to guarantee confidentiality and integrity of data exchanged b...