Search Results - Automatic Programming–Program synthesis

Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs by Ishebabi, Harold, Mahr, Philipp, Bobda, Christophe, Gebser, Martin, Schaub, Torsten

“…An automated design approach for multiprocessor systems on FPGAs is presented which customizes architectures for parallel programs by simultaneously solving…”
Get full text

Architecture-Independent Programming for Wireless Sensor Networks by Bakshi, Amol B, Prasanna, Viktor K

“… This new approach is based on the Abstract Task Graph (ATaG), a data-driven programming model and an innovative methodology forarchitecture-independent programming and automatic software synthesis for sensor networks…”
Get full text

Exploiting Approximate Feature Extraction via Genetic Programming for Hardware Acceleration in a Heterogeneous Microprocessor by Jia, Hongyang, Verma, Naveen

“… To overcome this, a programmable feature-extraction accelerator (FEA) is presented that exploits genetic programming for automatic program synthesis…”
Get full text

Automatic synthesis of action programs for intelligent robots by Osipov, V. Yu

“…The problem of automatic synthesis of action programs for intelligent robots in a permanently changing environment is considered…”
Get full text

An algebraic foundation for automatic feature-based program synthesis by Apel, Sven, Lengauer, Christian, Möller, Bernhard, Kästner, Christian

“… Furthermore, our algebraic framework is meant to serve as a basis for the development of the technology of automatic feature-based program synthesis and architectural metaprogramming…”
Get full text

Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs by Ishebabi, Harold, Mahr, Philipp, Bobda, Christophe, Gebser, Martin, Schaub, Torsten

“…An automated design approach for multiprocessor systems on FPGAs is presented which customizes architectures for parallel programs by simultaneously solving…”
Get full text

Model-based Simulation of a Hydraulic Closed-loop Rotary Transmission with Automatic Control by Grossschmidt, Gunnar, Harf, Mait

“… Object-oriented multi-pole models, visual programming environment, automatic program synthesis and distributed computing are as original approach in simulation of fluid power systems…”
Get full text

Machine-Made Synthesis of Stabilization System by Modified Cartesian Genetic Programming by Diveev, Askhat I., Shmalko, Elizaveta Y.

“…A numerical solution of the problem of the general synthesis of a stabilization system by a symbolic regression method is considered…”
Get full text

Fitness Landscape Optimization Makes Stochastic Symbolic Search By Genetic Programming Easier by Huang, Zhixing, Mei, Yi, Zhang, Fangfang, Zhang, Mengjie, Banzhaf, Wolfgang

“…Searching for symbolic models plays an important role in a wide range of domains such as neural architecture search and automatic program synthesis…”
Get full text

Code Building Genetic Programming by Pantridge, Edward, Spector, Lee

“…In recent years the field of genetic programming has made significant advances towards automatic programming…”
Get full text

Title page i

“…; mobile applications; program repair; program synthesis; software performance; product lines; configurable software systems…”
Get full text

Multi-pole modeling and simulation of an electro-hydraulic servo-system in an intelligent programming environment by Grossschmidt, Gunnar, Harf, Mait

“…The paper presents composing of models and simulation of an electro-hydraulic servo-system, including hydraulic servo-drive with feedback regulator,…”
Get full text

Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings by Johnsen, Einar Broch, Wimmer, Manuel

“…This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was…”
Get full text

Model-based simulation of hydraulic hoses in an intelligent environment by Grossschmidt, Gunnar, Harf, Mait

“… The CoCoViLa environment is a visual programming tool, which supports declarative programming in a high-level language and automatic program synthesis…”
Get full text

SQL Synthesis with Input-Output Example Based on Deep Learning by Zhang, Shun, Dou, Quansheng, Tang, Huanling, Pan, Hao, Wang, Huixian

“… However, many of these users lack programming background and find it challenging to write complex programs, especially SQL…”
Get full text

Automatic programming for end users: the TOAD system by Gomez, F., Wingate, V.

“…An automatic programming system must embody not only a methodology for program synthesis, but also a formalism whereby problems can be specified by the user…”
Get full text

A heterogeneous microprocessor for energy-scalable sensor inference using genetic programming by Hongyang Jia, Jie Lu, Jha, Niraj K., Yerma, Naveen

“… These are overcome by exploiting genetic programming (GP) for automatic program synthesis. GP yields highly structured models of computation, enabling: (1…”
Get full text

P-Tree programming by Oesch, Christian

“…We propose a novel method for automatic program synthesis. P-Tree Programming represents the program search space through a single probabilistic prototype tree…”
Get full text

Reward-Guided Synthesis of Intelligent Agents with Control Structures by Cui, Guofeng, Wang, Yuning, Qiu, Wenjie, Zhu, He

“… tasks with sparse reward signals. Existing program synthesis algorithms for RL problems inherit the same limitation, as they either adapt conventional RL algorithms…”
Get full text

P-Tree Programming by Oesch, Christian

“…We propose a novel method for automatic program synthesis. P-Tree Programming represents the program search space through a single probabilistic prototype tree…”
Get full text