894 search results - page 138 / 179 » Optimizations for LTL Synthesis |
101
click to vote
DAC
2006
ACM
15 years 12 months ago
2006
ACM
Scheduling plays a central role in the behavioral synthesis process, which automatically compiles high-level specifications into optimized hardware implementations. However, most ...
91
Voted
DAC
2006
ACM
15 years 12 months ago
2006
ACM
Pareto surfaces in the performance space determine the range of feasible performance values for a circuit topology in a given technology. We present a non-dominated sorting based ...
84
Voted
DATE
2009
IEEE
15 years 5 months ago
2009
IEEE
—In modern sub-micron design, achieving low-skew clock distributions is facing challenges for high-performance circuits. Symmetric global clock distribution and clock tree synthe...
109
click to vote
AUSSOIS
2001
Springer
15 years 3 months ago
2001
Springer
In recent years the branch-and-cut method, a synthesis of the classical branch-and-bound and cutting plane methods, has proven to be a highly successful approach to solving large-s...
106
click to vote
GECCO
2007
Springer
15 years 2 months ago
2007
Springer
Genetic Programming was first introduced by Koza using tree representation together with a crossover technique in which random sub-branches of the parents' trees are swapped ...