2945 search results - page 519 / 589 » Designing and Implementing Malicious Hardware |
132
click to vote
VLSID
2007
IEEE
16 years 4 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...
124
click to vote
PERCOM
2007
ACM
16 years 4 months ago
2007
ACM
As devices become more reliant on battery power, it is essential to design energy efficient protocols. While there is a vast amount of research into power save protocols for unicas...
155
click to vote
MOBIHOC
2008
ACM
16 years 4 months ago
2008
ACM
Wireless LAN (WLAN) radios conserve energy by staying in sleep mode. With real-time applications like VoIP, it is not clear how much energy can be saved by this approach since pac...
156
click to vote
ICDCS
2009
IEEE
16 years 1 months ago
2009
IEEE
Recent years have witnessed the pilot deployments of audio or low-rate video wireless sensor networks for a class of mission-critical applications including search and rescue, sec...
124
click to vote
EUROSYS
2009
ACM
16 years 1 months ago
2009
ACM
Managing the power consumption of computing platforms is a complicated problem thanks to a multitude of hardware configuration options and characteristics. Much of the academic r...