Suchergebnisse - Automatic Programming— Program synthesis

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

“… 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 …”
Volltext

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

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

An algebraic foundation for automatic feature-based program synthesis von 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 …”
Volltext

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

“… 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 …”
Volltext

Model-based Simulation of a Hydraulic Closed-loop Rotary Transmission with Automatic Control von 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 …”
Volltext

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

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

Machine-Made Synthesis of Stabilization System by Modified Cartesian Genetic Programming von 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 …”
Volltext

Architecture-Independent Programming for Wireless Sensor Networks von 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 …”
Volltext

Reward-Guided Synthesis of Intelligent Agents with Control Structures von 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 …”
Volltext

Model-based simulation of hydraulic hoses in an intelligent environment von 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 …”
Volltext

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

“… Program synthesis is the art of synthesizing programs from the user's specifications …”
Volltext

Bayesian synthesis of probabilistic programs for automatic data modeling von 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 …”
Volltext

Alleviating patch overfitting with automatic test generation: a study of feasibility and effectiveness for the Nopol repair system von 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 …”
Volltext

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

“… •PSMF2 is a new general purpose automatic program synthesizer that combines model checking and genetic programming …”
Volltext

mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR Using Program Synthesis von 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 …”
Volltext

Top-Down Synthesis for Library Learning von 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 …”
Volltext

Automatic Compilation from High-Level Biologically-Oriented Programming Language to Genetic Regulatory Networks von 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 …”
Volltext

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

“… Our method synthesizes paramorphisms, a class of programs that includes the most common recursive programming patterns on algebraic data types …”
Volltext

Fitness Landscape Optimization Makes Stochastic Symbolic Search By Genetic Programming Easier von 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 …”
Volltext

Active Learning for Neurosymbolic Program Synthesis von 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 …”
Volltext