Výsledky vyhľadávania - Automatic Programming— Program synthesis

Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs Autor 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 the problems of task mapping, resource…”
Získať plný text

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

“…The problem of automatic synthesis of action programs for intelligent robots in a permanently changing environment is considered…”
Získať plný text

An algebraic foundation for automatic feature-based program synthesis Autor 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…”
Získať plný text

Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs Autor 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 the problems of task mapping, resource…”
Získať plný text

Model-based Simulation of a Hydraulic Closed-loop Rotary Transmission with Automatic Control Autor 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…”
Získať plný text

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

“… To overcome this, a programmable feature-extraction accelerator (FEA) is presented that exploits genetic programming for automatic program synthesis…”
Získať plný text

Machine-Made Synthesis of Stabilization System by Modified Cartesian Genetic Programming Autor 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…”
Získať plný text

Architecture-Independent Programming for Wireless Sensor Networks Autor 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…”
Získať plný text

Reward-Guided Synthesis of Intelligent Agents with Control Structures Autor 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…”
Získať plný text

Model-based simulation of hydraulic hoses in an intelligent environment Autor 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…”
Získať plný text

Neural Program Synthesis for Automatic Image Enhancement Autor P, Vasuki, N, Sripriya, S, Jacindha, G, Abishek, A, Supriya Abirami

“…Program synthesis is the art of synthesizing programs from the user's specifications…”
Získať plný text

Bayesian synthesis of probabilistic programs for automatic data modeling Autor Saad, Feras A., Cusumano-Towner, Marco F., Schaechtle, Ulrich, Rinard, Martin C., Mansinghka, Vikash K.

“… probabilistic programs in these modeling languages given observed data. We provide a precise formulation of Bayesian synthesis for automatic data modeling that identifies sufficient conditions for the resulting synthesis procedure to be sound…”
Získať plný text

Alleviating patch overfitting with automatic test generation: a study of feasibility and effectiveness for the Nopol repair system Autor Yu, Zhongxing, Martinez, Matias, Danglot, Benjamin, Durieux, Thomas, Monperrus, Martin

“…Among the many different kinds of program repair techniques, one widely studied family of techniques is called test suite based repair…”
Získať plný text

Combining model finder and genetic programming into a general purpose automatic program synthesizer Autor Correia, Alexandre, Iyoda, Juliano, Mota, Alexandre

“…•PSMF2 is a new general purpose automatic program synthesizer that combines model checking and genetic programming…”
Získať plný text

mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR Using Program Synthesis Autor Brauckmann, Alexander, Polgreen, Elizabeth, Grosser, Tobias, O'Boyle, Michael F. P.

“…MLIR is an emerging compiler infrastructure for modern hardware, but existing programs cannot take advantage of MLIR's high-performance compilation if they are described in lower-level general purpose languages…”
Získať plný text

Top-Down Synthesis for Library Learning Autor Bowers, Matthew, Olausson, Theo X., Wong, Lionel, Grand, Gabriel, Tenenbaum, Joshua B., Ellis, Kevin, Solar-Lezama, Armando

“…This paper introduces corpus-guided top-down synthesis as a mechanism for synthesizing library functions that capture common functionality from a corpus of programs in a domain specific language (DSL…”
Získať plný text

Automatic Compilation from High-Level Biologically-Oriented Programming Language to Genetic Regulatory Networks Autor Beal, Jacob, Lu, Ting, Weiss, Ron

“… Recent advances in DNA synthesis and automated DNA assembly technologies suggest that it is now possible to construct synthetic systems of significant complexity…”
Získať plný text

Recursive Program Synthesis using Paramorphisms Autor Hong, Qiantan, Aiken, Alex

“… Our method synthesizes paramorphisms, a class of programs that includes the most common recursive programming patterns on algebraic data types…”
Získať plný text

Fitness Landscape Optimization Makes Stochastic Symbolic Search By Genetic Programming Easier Autor 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…”
Získať plný text

Active Learning for Neurosymbolic Program Synthesis Autor Barnaby, Celeste, Chen, Qiaochu, Ramalingam, Ramya, Bastani, Osbert, Dillig, Işıl

“…The goal of active learning for program synthesis is to synthesize the desired program by asking targeted questions that minimize user interaction…”
Získať plný text