1304 search results - page 185 / 261 » Evaluating Hardware Compilation Techniques |
158
click to vote
ICCD
2000
IEEE
16 years 3 months ago
2000
IEEE
Most well-performing load value predictors are hybrids that combine multiple predictors into one. Such hybrids are often large. To reduce their size and to improve their performan...
197
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
143
click to vote
DATE
2008
IEEE
16 years 24 days ago
2008
IEEE
As semiconductor manufacturing requires greater capital investments, the use of contract foundries has grown dramatically, increasing exposure to mask theft and unauthorized exces...
178
click to vote
DSD
2007
IEEE
16 years 20 days ago
2007
IEEE
With continuing increase in soft error rates, its foreseeable that multiple faults will eventually need to be considered when modeling circuit sensitivity and evaluating faulttole...
178
click to vote
FCCM
2006
IEEE
16 years 12 days ago
2006
IEEE
In this paper, we investigate a combination of two techniques — instruction coding and instruction re-ordering — for optimizing energy in embedded processor control. We presen...