570 search results - page 56 / 114 » From Program Verification to Program Synthesis |
TACAS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
121
click to vote
ASAP
2004
IEEE
15 years 6 months ago
2004
IEEE
Distributed local memories, or scratchpads, have been shown to effectively reduce cost and power consumption of application-specific accelerators while maintaining performance. Th...
226
Voted
POPL
2004
ACM
16 years 2 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
131
Voted
GECCO
2010
Springer
15 years 5 months ago
2010
Springer
We use affine arithmetic to improve both the performance and the robustness of genetic programming for symbolic regression. During evolution, we use affine arithmetic to analyze e...
164
Voted
ALIFE
2011
14 years 6 months ago
2011
This paper presents an abstract computation model of the evolution of camouflage in nature. The 2d model uses evolved textures for prey, a background texture representing the envi...