Výsledky vyhledávání - (automatic OR automation) programming— program synthesis

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ískat plný text

Efficient Bottom-Up Synthesis for Programs with Local Variables Autor Li, Xiang, Zhou, Xiangyu, Dong, Rui, Zhang, Yihong, Wang, Xinyu

“…We propose a new synthesis algorithm that can efficiently search programs with local variables (e.g…”
Získat 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ískat plný text

Fast and Reliable Program Synthesis via User Interaction Autor Chen, Yanju, Wang, Chenglong, Wang, Xinyu, Bastani, Osbert, Feng, Yu

“…The performance of programming-by-example systems varies significantly across different tasks and even across different examples in one task…”
Získat plný text

Organic synthesis in a modular robotic system driven by a chemical programming language Autor Steiner, Sebastian, Wolf, Jakob, Glatzel, Stefan, Andreou, Anna, Granda, Jarosław M, Keenan, Graham, Hinkley, Trevor, Aragon-Camarasa, Gerardo, Kitson, Philip J, Angelone, Davide, Cronin, Leroy

“…The synthesis of complex organic compounds is largely a manual process that is often incompletely documented…”
Zjistit podrobnosti o přístupu

JavaBench: A Benchmark of Object-Oriented Code Generation for Evaluating Large Language Models Autor Cao, Jialun, Chen, Zhiyong, Wu, Jiarong, Cheung, Shing-Chi, Xu, Chang

“… First, imbalanced programming language. 95.8% of benchmarks involve Python, while only 5 benchmarks involve Java, resulting in an insufficient understanding of LLMs' capability to generate Java code…”
Získat plný text

Current challenges in automatic software repair Autor Le Goues, Claire, Forrest, Stephanie, Weimer, Westley

“… Recent research has made significant progress on the problem of automatic program repair, using techniques such as evolutionary computation, instrumentation and run-time monitoring, and sound…”
Získat plný text

Giotto: a time-triggered language for embedded programming Autor Henzinger, T.A., Horowitz, B., Kirsch, C.M.

“… The annotations are directives for the Giotto compiler, but they do not alter the functionality and timing of a Giotto program…”
Získat plný text

Convex Optimization for Parameter Synthesis in MDPs Autor Cubuktepe, Murat, Jansen, Nils, Junges, Sebastian, Katoen, Joost-Pieter, Topcu, Ufuk

“… We formulate the parameter synthesis problem as a quadratically constrained quadratic program, which is nonconvex and is NP-hard to solve in general…”
Získat plný text

A parameterized automatic programming solution for composite grinding based on digital image processing Autor Shen, Nanyan, Zhao, Chen, Li, Jing, Xu, Yingjie, Wu, Yang, Deng, Zongqian

“…In this paper, a parameterized automatic programming solution whose advantage depends on the automatic feature recognition of digital image is proposed and applied to the development of automatic…”
Získat plný text

Transforming natural language into code: advancing automated code synthesis for software development Autor Al shboul, Bashar, Qaqour, Ali, Bani-Salameh, Hani, Almakadmeh, Khaled

“… Machine learning-based automatic code synthesis emerged as a key solution, with transformer-based models playing a pivotal role in enhancing this process…”
Získat plný text

Control synthesis for polynomial discrete-time systems under input constraints via delayed-state Lyapunov functions Autor Pitarch, J.L., Sala, A., Lauber, J., Guerra, T.M.

“… Sum-of-squares techniques and available semi-definite programming (SDP) software are used in order to find the controller…”
Získat plný text

MerIt: improving neural program synthesis by merging collective intelligence Autor Zhang, Yating, Wang, Daiyan, Dong, Wei

“…Program synthesis is the task of automatically generating programs from user intent, which is one of the central problems in automated software engineering…”
Získat 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ískat plný text

Sub-optimal recursively feasible Linear Parameter-Varying predictive algorithm for semi-active suspension control Autor Morato, Marcelo Menezes, Normey-Rico, Julio Elias, Sename, Olivier

“… Assuming bounds on the variation rates of the qLPV scheduling parameters, the method enables a replacement of the original complex non-linear optimisation by a much simpler quadratic program (QP…”
Získat plný text

Time-Optimal Path Tracking for Robots: A Convex Optimization Approach Autor Verscheure, D., Demeulenaere, B., Swevers, J., De Schutter, J., Diehl, M.

“… A direct transcription method is presented that reduces finding the globally optimal trajectory to solving a second-order cone program using robust numerical algorithms that are freely available…”
Získat plný text

Safety first: a two-stage algorithm for the synthesis of reactive systems Autor Sohail, Saqib, Somenzi, Fabio

“…In the game-theoretic approach to the synthesis of reactive systems, specifications are often expressed as ω -regular languages…”
Získat plný text

Stabilization of Continuous-Time Fractional Positive Systems by Using a Lyapunov Function Autor Benzaouia, Abdellah, Hmamed, Abdelaziz, Mesquine, Fouad, Benhayoun, Mohamed, Tadeo, Fernando

“… The obtained results are based on a direct Lyapunov function. In particular, the synthesis of state-feedback controllers is obtained by giving conditions in terms of Linear Programs…”
Získat plný text

A Systematic Literature Review of 10 years of Research on Program Synthesis and Natural Language Processing Autor Ramírez-Rueda, Rolando, Benítez-Guerrero, Edgard, Mezura-Godoy, Carmen, Bárcenas, Everardo

“…Program synthesis is the process of automatically generating software from a requirement specification…”
Získat plný text

Enhancing Program Synthesis with Large Language Models Using Many-Objective Grammar-Guided Genetic Programming Autor Tao, Ning, Ventresque, Anthony, Nallur, Vivek, Saber, Takfarinas

“…—each with its strengths and weaknesses. While LLMs have shown success in program synthesis from a task description, they often struggle to generate the correct code due to ambiguity in task specifications, complex programming syntax…”
Získat plný text