Suchergebnisse - Automatic Programming—Program Synthesis

  1. 1

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

    ISBN: 0471778893, 9780471778899, 0470289295, 9780470289297
    Verö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. 2

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

    ISSN: 1687-7195, 1687-7209
    Veröffentlicht: New York Hindawi Limiteds 01.01.2009
    Verö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. 3

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

    ISSN: 0018-9200, 1558-173X
    Veröffentlicht: New York IEEE 01.04.2018
    Verö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. 4

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

    ISSN: 0361-7688, 1608-3261
    Veröffentlicht: Moscow Pleiades Publishing 01.04.2016
    Verö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. 5

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

    ISSN: 0167-6423, 1872-7964
    Veröffentlicht: Elsevier B.V 01.11.2010
    Verö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. 6

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

    ISSN: 1687-7195, 1687-7209
    Veröffentlicht: Cairo, Egypt Hindawi Puplishing Corporation 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. 7

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

    ISSN: 1439-9776, 2332-1180
    Veröffentlicht: 01.01.2021
    Verö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. 8

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

    ISSN: 2168-2267, 2168-2275, 2168-2275
    Veröffentlicht: United States IEEE 01.07.2022
    Verö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. 9

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

    ISSN: 1089-778X, 1941-0026
    Veröffentlicht: IEEE 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. 10

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

    ISSN: 2331-8422
    Veröffentlicht: Ithaca Cornell University Library, arXiv.org 09.08.2020
    Verö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. 11

    Title page i

    Veröffentlicht: IEEE 01.11.2015
    “… ; mobile applications; program repair; program synthesis; software performance; product lines; configurable software systems …”
    Volltext
    Tagungsbericht
  12. 12

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

    ISSN: 1439-9776, 2332-1180
    Veröffentlicht: Abingdon Taylor & Francis 01.03.2016
    Verö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. 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 von Johnsen, Einar Broch, Wimmer, Manuel

    ISBN: 3030994295, 9783030994297, 9783030994280, 3030994287
    Verö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. 14

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

    ISSN: 1439-9776, 2332-1180
    Veröffentlicht: Abingdon Taylor & Francis 02.01.2018
    Verö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. 15

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

    ISSN: 2161-4407
    Veröffentlicht: IEEE 18.06.2023
    “… However, many of these users lack programming background and find it challenging to write complex programs, especially SQL …”
    Volltext
    Tagungsbericht
  16. 16

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

    ISSN: 1041-4347
    Veröffentlicht: IEEE 01.09.1989
    Verö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. 17

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

    Veröffentlicht: JSAP 01.06.2017
    Verö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. 18

    P-Tree programming von Oesch, Christian

    Veröffentlicht: IEEE 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. 19

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

    ISSN: 2475-1421, 2475-1421
    Veröffentlicht: New York, NY, USA ACM 20.06.2024
    Verö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. 20

    P-Tree Programming von Oesch, Christian

    ISSN: 2331-8422
    Veröffentlicht: Ithaca Cornell University Library, arXiv.org 12.07.2017
    Verö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