3379 search results - page 291 / 676 » Powers of Two |
187
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
149
click to vote
AHS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper proposes a hybrid communication medium for on-chip communication targeting adaptive SoC architectures. Unlike the work carried out in literature, where the term “hybr...
159
click to vote
ARITH
2007
IEEE
16 years 1 months ago
2007
IEEE
An emerging nanotechnology, quantum-dot cellular automata (QCA), has the potential for attractive features such as faster speed, smaller size, and lower power consumption than tra...
137
click to vote
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper looks at the statistics used to compare variations to the genetic programming method. Previous work in this area has been dominated by the use of mean best-of-run ...
172
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Application-specific customization of the instruction set helps embedded processors achieve significant performance and power efficiency. In this paper, we explore customizatio...