1151 search results - page 156 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
113
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Growth in the complexity of computing systems, in the dynamism of the environments they operate in, and the need for timely adaptations as conditions change, now pose significant...
141
Voted
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
It is difficult to write device drivers. One factor is that writing low-level code for accessing devices and manipulating their registers is tedious and error-prone. For many syst...
170
click to vote
MICRO
2003
IEEE
15 years 9 months ago
2003
IEEE
Single-event upsets from particle strikes have become a key challenge in microprocessor design. Techniques to deal with these transient faults exist, but come at a cost. Designers...
118
click to vote
MICRO
2002
IEEE
15 years 9 months ago
2002
IEEE
A value’s degree of use—the number of dynamic uses of that value—provides the most essential information needed to optimize its communication. We present simulation results ...
169
click to vote
FPL
2010
Springer
15 years 2 months ago
2010
Springer
Significant advances in the field of configurable computing have enabled parallel processing within a single FieldProgrammable Gate Array (FPGA) chip. This paper presents the imple...