441 search results - page 53 / 89 » Benchmarking Technique in E-Business Using the Galileo Metho... |
140
click to vote
ASPDAC
2004
ACM
15 years 9 months ago
2004
ACM
- Minimum area is one of the important objectives in technology mapping for lookup table-based FPGAs. It has been proven that the problem is NP-complete. This paper presents a poly...
157
click to vote
MCS
2000
Springer
15 years 9 months ago
2000
Springer
Various methods exist for reducing correlation between classifiers in a multiple classifier framework. The expectation is that the composite classifier will exhibit improved perfor...
160
click to vote
ICS
1995
Tsinghua U.
15 years 9 months ago
1995
Tsinghua U.
Modulo scheduling is an e cient technique for exploiting instruction level parallelism in a variety of loops, resulting in high performance code but increased register requirement...
284
click to vote
FMCAD
1998
Springer
15 years 10 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
151
click to vote
DATE
2009
IEEE
16 years 26 days ago
2009
IEEE
Abstract-Multi-detect (N-detect) testing suffers from the drawback that its test length grows linearly with N. We present a new method to generate compact test sets that provide hi...