1304 search results - page 218 / 261 » Evaluating Hardware Compilation Techniques |
143
click to vote
MICRO
2000
IEEE
15 years 9 months ago
2000
IEEE
While technology is delivering increasingly sophisticated and powerful chip designs, it is also imposing alarmingly high energy requirements on the chips. One way to address this ...
184
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
150
click to vote
JSA
2006
15 years 6 months ago
2006
Execution-driven simulation has become the primary method for evaluating architectural techniques as it facilitates rapid design space exploration without the cost of building pro...
142
click to vote
SIGMETRICS
2010
ACM
15 years 4 months ago
2010
ACM
Data center availability is critical considering the explosive growth in Internet services and people’s dependence on them. Furthermore, in recent years, sustainability has beco...
155
click to vote
ETS
2011
IEEE
14 years 6 months ago
2011
IEEE
—The notion of Architectural Vulnerability Factor (AVF) has been extensively used by designers to evaluate various aspects of design robustness. While AVF is a very accurate way ...