4421 search results - page 421 / 885 » Libraries |
125
click to vote
ISSRE
2008
IEEE
15 years 11 months ago
2008
IEEE
The usual way to compare testing strategies, whether theoretically or empirically, is to compare the number of faults they detect. To ascertain definitely that a testing strategy...
136
click to vote
ISVLSI
2008
IEEE
15 years 11 months ago
2008
IEEE
A structured ASIC has some arrays of pre-fabricated yet configurable logic blocks (CLBs) with/without a regular routing fabric. In this paper, we propose a standard cell like via-...
108
click to vote
MICRO
2008
IEEE
15 years 11 months ago
2008
IEEE
—L1 instruction-cache misses pose a critical performance bottleneck in commercial server workloads. Cache access latency constraints preclude L1 instruction caches large enough t...
160
click to vote
PDP
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper addresses the issue of type safe algorithmic skeletons. From a theoretical perspective we contribute by: formally specifying a type system for algorithmic skeletons, an...
117
Voted
ASAP
2007
IEEE
15 years 11 months ago
2007
IEEE
Financial and commercial applications use decimal data and spend most of their time in decimal arithmetic. Software implementation of decimal arithmetic is typically at least 100 ...