531 search results - page 16 / 107 » The Spec |
IPPS
2005
IEEE
15 years 5 months ago
2005
IEEE
We study the energy efficiency benefits of bypassing trivial computations in high-performance processors. Trivial computations are those computations whose output can be determine...
107
click to vote
VL
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper presents a strategy for the visualization of dynamic object relationships in Java programs. The metaphor of a chemical molecule is used to aid comprehension, and to hel...
93
Voted
EUROPAR
2005
Springer
15 years 5 months ago
2005
Springer
A processor’s energy consumption can be reduced by compressing values (data and addresses) that flow through a processor pipeline and gating off portions of data path elements th...
FORTE
2007
15 years 1 months ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
85
Voted
MICRO
2007
IEEE
15 years 6 months ago
2007
IEEE
Single-threaded programming is already considered a complicated task. The move to multi-threaded programming only increases the complexity and cost involved in software developmen...