894 search results - page 123 / 179 » Optimizations for LTL Synthesis |
154
click to vote
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
A fundamental aspect of many evolutionary approaches to synthesis of complex systems is the need to compose atomic elements into useful higher-level building blocks. However, the ...
148
Voted
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we present a detailed analysis of the application of Genetic Programming to the evolution of distributed algorithms. This research field has many facets which make...
128
click to vote
DAC
1995
ACM
15 years 7 months ago
1995
ACM
- We introduce a transformation, named rephasing, that manipulates the timing parameters in control-dataflow graphs. Traditionally high-level synthesis systems for DSP have either ...
145
click to vote
EUROGP
2008
Springer
15 years 5 months ago
2008
Springer
Many automatically-synthesized programs have, like their hand-made counterparts, numerical parameters that need to be set properly before they can show an acceptable performance. H...
143
click to vote
CCE
2005
15 years 3 months ago
2005
A general method to design optimal redundant sensor network even in the case of one sensor failure and able to estimate process key parameters within a required accuracy is propos...