2945 search results - page 486 / 589 » Designing and Implementing Malicious Hardware |
212
click to vote
MM
1994
ACM
15 years 10 months ago
1994
ACM
We have designed, built, and analyzed a distributed parallel storage system that will supply image streams fast enough to permit multi-user, "real-time", video-like appl...
287
Voted
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
169
Voted
DAC
2010
ACM
15 years 9 months ago
2010
ACM
Fault simulation is essential in test generation, design for test and reliability assessment of integrated circuits. Reliability analysis and the simulation of self-test structure...
160
Voted
WSC
2007
15 years 8 months ago
2007
Visualization is a powerful method for verifying, validating, and communicating the results of a simulated model. Lack of visual understanding about a simulated model is one of th...
139
click to vote
BIOSTEC
2008
15 years 7 months ago
2008
In the last years the interest for magnetic stimulation of the human nervous tissue has increased considerably, because this technique has proved its utility and applicability bot...