894 search results - page 46 / 179 » Optimizations for LTL Synthesis |
137
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
This paper proposes and analyses the performance of a Genetic Algorithm (GA) using two new concepts, namely a static fitness function including a discontinuity measure and a fract...
135
click to vote
ICCAD
2001
IEEE
16 years 23 days ago
2001
IEEE
Abstract: We propose an effective algorithm for power optimization in behavioral synthesis. In previous work, it has been shown that several hardware allocation/binding problems fo...
147
click to vote
TCAD
1998
15 years 3 months ago
1998
— We introduce a transformation, named rephasing, that manipulates the timing parameters in control-data-flow graphs (CDFG’s) during the high-level synthesis of data-pathinten...
125
click to vote
EUROGRAPHICS
2010
Eurographics
16 years 29 days ago
2010
Eurographics
Continuous constrained optimization is a powerful tool for synthesizing novel human motion segments that are short. Graph-based motion synthesis methods such as motion graphs and ...
127
click to vote
CCE
2004
15 years 3 months ago
2004
This paper presents a sequential two-stage strategy for the stochastic synthesis of chemical processes in which flexibility and ability to adjust manipulated variables are taken i...