1450 search results - page 93 / 290 » On the Complexity of Hardness Amplification |
165
click to vote
SLIP
2006
ACM
16 years 7 days ago
2006
ACM
— The increasing gap between design productivity and chip complexity and the emerging Systems-On-Chip (SOC) architectural template have led to the wide utilization of reusable ha...
155
click to vote
ACSC
2005
IEEE
15 years 12 months ago
2005
IEEE
The data mining inspired problem of finding the critical, and most useful features to be used to classify a data set, and construct rules to predict the class of future examples ...
166
click to vote
FOCS
2005
IEEE
15 years 12 months ago
2005
IEEE
In the CLOSEST SUBSTRING problem k strings s1, ..., sk are given, and the task is to find a string s of length L such that each string si has a consecutive substring of length L ...
154
click to vote
CP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Much progress has been made in terms of boosting the effectiveness of backtrack style search methods. In addition, during the last decade, a much better understanding of ...
146
click to vote
FMCAD
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes a new method that is useful in combinational equivalence checking with very challenging industrial designs. The method does not build a miter; instead it build...