929 search results - page 94 / 186 » Execution architectures for program algebra |
120
click to vote
MICRO
1998
IEEE
15 years 7 months ago
1998
IEEE
The inherent instruction-level parallelism (ILP) of current applications (specially those based on floating point computations) has driven hardware designers and compilers writers...
134
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
114
click to vote
HPCA
2003
IEEE
16 years 3 months ago
2003
IEEE
We study the hardware cost of implementing hash-tree based verification of untrusted external memory by a high performance processor. This verification could enable applications s...
137
click to vote
IEEECIT
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract--The size, heterogeneity and dynamism of the execution platforms of scientific applications, like computational grids, make using those platforms complex. Furthermore, tod...
136
click to vote
DAC
2005
ACM
15 years 5 months ago
2005
ACM
Software energy estimation is a critical step in the design of energyefficient embedded systems. Instruction-level simulation techniques, despite several advances, remain too slo...