531 search results - page 16 / 107 » The Spec |
122
click to vote
IPPS
2005
IEEE
15 years 9 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...
148
click to vote
VL
2005
IEEE
15 years 9 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...
122
Voted
EUROPAR
2005
Springer
15 years 9 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...
115
Voted
FORTE
2007
15 years 5 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...
129
Voted
MICRO
2007
IEEE
15 years 10 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...