6554 search results - page 1275 / 1311 » Constraint Logic Programming |
128
click to vote
ISCA
2000
IEEE
15 years 7 months ago
2000
IEEE
Smaller feature sizes, reduced voltage levels, higher transistor counts, and reduced noise margins make future generations of microprocessors increasingly prone to transient hardw...
141
click to vote
MSS
2000
IEEE
15 years 7 months ago
2000
IEEE
The Jiro™ technology provides an environment intended for the implementation of storage management solutions. A product based on Jiro technology is an implementation based on th...
132
click to vote
FCCM
1999
IEEE
15 years 7 months ago
1999
IEEE
The time it takes to reconfigure FPGAs can be a significant overhead for reconfigurable computing. In this paper we develop new compression algorithms for FPGA configurations that...
131
click to vote
STOC
1999
ACM
15 years 7 months ago
1999
ACM
The width of a Resolution proof is defined to be the maximal number of literals in any clause of the proof. In this paper, we relate proof width to proof length (ϭsize), in both g...
145
click to vote
FCCM
1997
IEEE
15 years 7 months ago
1997
IEEE
The RAW benchmark suite consists of twelve programs designed to facilitate comparing, validating, and improving reconfigurable computing systems. These benchmarks run the gamut o...