21437 search results - page 121 / 4288 » Hardware |
172
click to vote
ISCA
2012
IEEE
13 years 6 months ago
2012
IEEE
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...
132
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
The inherent limitations of embedded systems make them particularly vulnerable to attacks. We have developed a hardware monitor that operates in parallel to the embedded processor...
117
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
Scan-based silicon debug is a technique that can be used to help find design errors in prototype silicon more quickly. One part of this technique involves the inclusion of breakpo...
119
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
125
click to vote
VLSID
2005
IEEE
16 years 4 months ago
2005
IEEE
Java is increasingly being used as a language and binary format for low power, embedded systems. Current software only approaches to Java execution do not always suit the type of ...