1410 search results - page 246 / 282 » A Logic for Virtual Memory |
151
click to vote
ISLPED
2009
ACM
15 years 10 months ago
2009
ACM
Extreme technology integration in the sub-micron regime comes with a rapid rise in heat dissipation and power density for modern processors. Dynamic voltage scaling is a widely us...
127
click to vote
CEC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
131
click to vote
GLVLSI
2008
IEEE
15 years 10 months ago
2008
IEEE
Phase-based tuning methodologies specialize system parameters for each application phase of execution. Parameters are varied during execution, as opposed to remaining fixed as in ...
159
click to vote
RSP
2008
IEEE
15 years 10 months ago
2008
IEEE
ASIP-based implementations constitute a key trend in SoC design enabling optimal tradeoffs between performance and flexibility. This paper details a case study of an ASIP-based im...
146
click to vote
RTCSA
2008
IEEE
15 years 10 months ago
2008
IEEE
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...