4440 search results - page 831 / 888 » The space of design |
165
click to vote
HPDC
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper explores the feasibility of a cost-efficient storage architecture that offers the reliability and access performance characteristics of a high-end system. This architec...
188
click to vote
MICRO
2009
IEEE
16 years 29 days ago
2009
IEEE
Process variations in integrated circuits have significant impact on their performance, leakage and stability. This is particularly evident in large, regular and dense structures...
190
click to vote
TPHOL
2009
IEEE
16 years 29 days ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
169
click to vote
DCOSS
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Gradients are distributed distance estimates used as a building block in many sensor network applications. In large or long-lived deployments, it is important for the est...
175
click to vote
EMSOFT
2009
Springer
16 years 27 days ago
2009
Springer
Scratchpads have been widely proposed as an alternative to caches for embedded systems. Advantages of scratchpads include reduced energy consumption in comparison to a cache and a...