218 search results - page 10 / 44 » A Multi-level Approach to Program Synthesis |
ISCAS
1999
IEEE
13 years 12 months ago
1999
IEEE
This paper proposes a new approach to the synthesis of low coefficient sensitivity digital filters using Genetic Programming (GP). GP is applied to the synthesis problem by establi...
DAC
1998
ACM
14 years 8 months ago
1998
ACM
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
LOPSTR
2004
Springer
14 years 1 months ago
2004
Springer
For use in earlier approaches to automated module interface adaptation, we seek a restricted form of program synthesis. Given some typing assumptions and a desired result type, we ...
EH
2002
IEEE
14 years 19 days ago
2002
IEEE
Most real-world controllers are composed of proportional, integrative, and derivative signal processing blocks. The so-called PID controller was invented and patented by Callender...
POPL
2010
ACM
14 years 2 months ago
2010
ACM
ion-Guided Synthesis of Synchronization Martin Vechev IBM Research Eran Yahav IBM Research Greta Yorsh IBM Research We present a novel framework for automatic inference of effici...