Suchergebnisse - Automatic Programming—Program Synthesis
-
1
Architecture-Independent Programming for Wireless Sensor Networks
ISBN: 0471778893, 9780471778899, 0470289295, 9780470289297Veröffentlicht: Newark Wiley 2008“… 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 …”
Volltext
E-Book -
2
Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs
ISSN: 1687-7195, 1687-7209Veröffentlicht: New York Hindawi Limiteds 01.01.2009Veröffentlicht in International Journal of Reconfigurable Computing (01.01.2009)“… An automated design approach for multiprocessor systems on FPGAs is presented which customizes architectures for parallel programs by simultaneously solving …”
Volltext
Journal Article -
3
Exploiting Approximate Feature Extraction via Genetic Programming for Hardware Acceleration in a Heterogeneous Microprocessor
ISSN: 0018-9200, 1558-173XVeröffentlicht: New York IEEE 01.04.2018Veröffentlicht in IEEE journal of solid-state circuits (01.04.2018)“… To overcome this, a programmable feature-extraction accelerator (FEA) is presented that exploits genetic programming for automatic program synthesis …”
Volltext
Journal Article -
4
Automatic synthesis of action programs for intelligent robots
ISSN: 0361-7688, 1608-3261Veröffentlicht: Moscow Pleiades Publishing 01.04.2016Veröffentlicht in Programming and computer software (01.04.2016)“… The problem of automatic synthesis of action programs for intelligent robots in a permanently changing environment is considered …”
Volltext
Journal Article -
5
An algebraic foundation for automatic feature-based program synthesis
ISSN: 0167-6423, 1872-7964Veröffentlicht: Elsevier B.V 01.11.2010Veröffentlicht in Science of computer programming (01.11.2010)“… 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 …”
Volltext
Journal Article -
6
Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs
ISSN: 1687-7195, 1687-7209Veröffentlicht: Cairo, Egypt Hindawi Puplishing Corporation 2009Veröffentlicht in International journal of reconfigurable computing (2009)“… An automated design approach for multiprocessor systems on FPGAs is presented which customizes architectures for parallel programs by simultaneously solving …”
Volltext
Journal Article -
7
Model-based Simulation of a Hydraulic Closed-loop Rotary Transmission with Automatic Control
ISSN: 1439-9776, 2332-1180Veröffentlicht: 01.01.2021Veröffentlicht in International journal of fluid power (01.01.2021)“… Object-oriented multi-pole models, visual programming environment, automatic program synthesis and distributed computing are as original approach in simulation of fluid power systems …”
Volltext
Journal Article -
8
Machine-Made Synthesis of Stabilization System by Modified Cartesian Genetic Programming
ISSN: 2168-2267, 2168-2275, 2168-2275Veröffentlicht: United States IEEE 01.07.2022Veröffentlicht in IEEE transactions on cybernetics (01.07.2022)“… A numerical solution of the problem of the general synthesis of a stabilization system by a symbolic regression method is considered …”
Volltext
Journal Article -
9
Fitness Landscape Optimization Makes Stochastic Symbolic Search By Genetic Programming Easier
ISSN: 1089-778X, 1941-0026Veröffentlicht: IEEE 2025Veröffentlicht in IEEE transactions on evolutionary computation (2025)“… Searching for symbolic models plays an important role in a wide range of domains such as neural architecture search and automatic program synthesis …”
Volltext
Journal Article -
10
Code Building Genetic Programming
ISSN: 2331-8422Veröffentlicht: Ithaca Cornell University Library, arXiv.org 09.08.2020Veröffentlicht in arXiv.org (09.08.2020)“… In recent years the field of genetic programming has made significant advances towards automatic programming …”
Volltext
Paper -
11
Title page i
Veröffentlicht: IEEE 01.11.2015Veröffentlicht in 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.11.2015)“… ; mobile applications; program repair; program synthesis; software performance; product lines; configurable software systems …”
Volltext
Tagungsbericht -
12
Multi-pole modeling and simulation of an electro-hydraulic servo-system in an intelligent programming environment
ISSN: 1439-9776, 2332-1180Veröffentlicht: Abingdon Taylor & Francis 01.03.2016Veröffentlicht in International journal of fluid power (01.03.2016)“… The paper presents composing of models and simulation of an electro-hydraulic servo-system, including hydraulic servo-drive with feedback regulator, …”
Volltext
Journal Article -
13
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
ISBN: 3030994295, 9783030994297, 9783030994280, 3030994287Veröffentlicht: Cham Springer Nature 2022“… This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was …”
Volltext
E-Book -
14
Model-based simulation of hydraulic hoses in an intelligent environment
ISSN: 1439-9776, 2332-1180Veröffentlicht: Abingdon Taylor & Francis 02.01.2018Veröffentlicht in International journal of fluid power (02.01.2018)“… The CoCoViLa environment is a visual programming tool, which supports declarative programming in a high-level language and automatic program synthesis …”
Volltext
Journal Article -
15
SQL Synthesis with Input-Output Example Based on Deep Learning
ISSN: 2161-4407Veröffentlicht: IEEE 18.06.2023Veröffentlicht in Proceedings of ... International Joint Conference on Neural Networks (18.06.2023)“… However, many of these users lack programming background and find it challenging to write complex programs, especially SQL …”
Volltext
Tagungsbericht -
16
Automatic programming for end users: the TOAD system
ISSN: 1041-4347Veröffentlicht: IEEE 01.09.1989Veröffentlicht in IEEE transactions on knowledge and data engineering (01.09.1989)“… 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 …”
Volltext
Journal Article -
17
A heterogeneous microprocessor for energy-scalable sensor inference using genetic programming
Veröffentlicht: JSAP 01.06.2017Veröffentlicht in 2017 Symposium on VLSI Circuits (01.06.2017)“… These are overcome by exploiting genetic programming (GP) for automatic program synthesis. GP yields highly structured models of computation, enabling: (1 …”
Volltext
Tagungsbericht -
18
P-Tree programming
Veröffentlicht: IEEE 01.11.2017Veröffentlicht in SSCI : 2017 IEEE Symposium Series on Computational Intelligence : November 27, 2017-December 1, 2017 (01.11.2017)“… We propose a novel method for automatic program synthesis. P-Tree Programming represents the program search space through a single probabilistic prototype tree …”
Volltext
Tagungsbericht -
19
Reward-Guided Synthesis of Intelligent Agents with Control Structures
ISSN: 2475-1421, 2475-1421Veröffentlicht: New York, NY, USA ACM 20.06.2024Veröffentlicht in Proceedings of ACM on programming languages (20.06.2024)“… tasks with sparse reward signals. Existing program synthesis algorithms for RL problems inherit the same limitation, as they either adapt conventional RL algorithms …”
Volltext
Journal Article -
20
P-Tree Programming
ISSN: 2331-8422Veröffentlicht: Ithaca Cornell University Library, arXiv.org 12.07.2017Veröffentlicht in arXiv.org (12.07.2017)“… We propose a novel method for automatic program synthesis. P-Tree Programming represents the program search space through a single probabilistic prototype tree …”
Volltext
Paper

