2945 search results - page 509 / 589 » Designing and Implementing Malicious Hardware |
171
click to vote
ICCAD
2009
IEEE
15 years 3 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
254
click to vote
SIGOPS
2011
15 years 26 days ago
2011
Heterogeneous processors that mix big high performance cores with small low power cores promise excellent single– threaded performance coupled with high multi–threaded through...
150
click to vote
CHI
2009
ACM
16 years 6 months ago
2009
ACM
The canon is a composition pattern with a long history and many forms. The concept of the canon has also been applied to experimental film making and on Japanese television. We de...
152
click to vote
ASPLOS
2010
ACM
16 years 24 days ago
2010
ACM
Instruction-grain lifeguards monitor the events of a running application at the level of individual instructions in order to identify and help mitigate application bugs and securi...
180
click to vote
SENSYS
2006
ACM
15 years 12 months ago
2006
ACM
Sensor networks are fundamentally constrained by the difficulty and energy expense of delivering information from sensors to sink. Our work has focused on garnering additional si...