2607 search results - page 142 / 522 » Complete Functional Synthesis |
141
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We solve the problem of minimizing the number of critical points among all functions on a surface within a prescribed distance from a given input function. The result is achieved...
127
click to vote
EVOW
2007
Springer
15 years 10 months ago
2007
Springer
We present several practical improvements to the interactive evolution of 2D images, some of which are also applicable to more general genetic programming problems. We introduce tr...
153
Voted
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
For CMOS technologies below 65nm, gate oxide direct tunneling current is a major component of the total power dissipation. This paper presents a simulated annealing based algorith...
131
Voted
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...
150
click to vote
ICECCS
1995
IEEE
15 years 7 months ago
1995
IEEE
Large and complex software systems contain a variety of entities objects and a complex control system transformationfunction . The pure object-orienteddesign and structured des...