3379 search results - page 165 / 676 » Powers of Two |
161
click to vote
ISPD
2004
ACM
15 years 10 months ago
2004
ACM
Modern processors and SoCs require the adoption of poweroriented design styles, due to the implications that power consumption may have on reliability, cost and manufacturability ...
150
click to vote
ASPLOS
2012
ACM
14 years 12 days ago
2012
ACM
Numerous data center services exhibit low average utilization leading to poor energy efficiency. Although CPU voltage and frequency scaling historically has been an effective mea...
145
click to vote
IFL
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The paper presents several analyses to detect non-deterministic expressions in the parallel-functional language Eden. First, the need for the analysis is motivated, and t...
139
click to vote
ELP
1993
15 years 8 months ago
1993
We describe how the calculus of partial inductive definitions is used to represent logics. This calculus includes the powerful principle of definitional reflection. We describe two...
167
click to vote
PERVASIVE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. PersonisAD, is a framework for building context-aware, ubiquitous applications: its defining foundation is a consistent mechanism for scrutable modelling of people, sens...