430 search results - page 23 / 86 » On Using Satisfiability-Based Pruning Techniques in Covering... |
65
Voted
DAC
2000
ACM
15 years 11 months ago
2000
ACM
Joint module selection and retiming is a powerful technique to optimize the implementation cost and the speed of a circuit specified using a synchronous data-flow graph (DFG). In ...
IDEAS
2008
IEEE
15 years 4 months ago
2008
IEEE
With more and more natural language text stored in databases, handling respective query predicates becomes very important. Optimizing queries with predicates includes (sub)string ...
DAC
2007
ACM
15 years 11 months ago
2007
ACM
The flip-chip package provides a high chip-density solution to the demand for more I/O pads of VLSI designs. In this paper, we present the first routing algorithm in the literatur...
INTERSPEECH
2010
14 years 5 months ago
2010
Alignment combination (symmetrization) has been shown to be useful for improving Machine Translation (MT) models. Most existing alignment combination techniques are based on heuri...
89
Voted
GECCO
2010
Springer
15 years 2 months ago
2010
Springer
Test suite augmentation techniques are used in regression testing to help engineers identify code elements affected by changes, and generate test cases to cover those elements. R...