1304 search results - page 166 / 261 » Evaluating Hardware Compilation Techniques |
144
click to vote
ICCD
2005
IEEE
16 years 3 months ago
2005
IEEE
Technology scaling trends and the limitations of packaging and cooling have intensified the need for thermally efficient architectures and architecture-level temperature managem...
133
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
— The paper addresses the problem of performance optimization for a set of periodic tasks with discrete voltage/frequency states under thermal constraints. We prove that the prob...
172
click to vote
ISPASS
2007
IEEE
16 years 20 days ago
2007
IEEE
Address re-mapping techniques in so-called active memory systems have been shown to dramatically increase the performance of applications with poor cache and/or communication beha...
162
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
We present a new verification technique for Promela which exploits state-space symmetries induced by scalarset values used in a model. The technique involves efficiently computing ...
180
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Given a set of real-time tasks scheduled using the earliest deadline first (EDF) algorithm, we discuss two techniques for reducing power consumption while meeting all timing requi...