Výsledky vyhľadávania - ((automatic OR automatically) OR automation) programming— program synthesis general terms

Property-driven benchmark generation: synthesizing programs of realistic structure Autor Steffen, Bernhard, Isberner, Malte, Naujokat, Stefan, Margaria, Tiziana, Geske, Maren

“…We present a systematic approach to the automatic generation of platform-independent benchmarks of realistic structure and tailored complexity for evaluating verification tools for reactive systems…”
Získať plný text

PROPR: Property-Based Automatic Program Repair Autor Gissurarson, Matthias Pall, Applis, Leonhard, Panichella, Annibale, van Deursen, Arie, Sands, David

“…Automatic program repair (APR) regularly faces the challenge of overfitting patches - patches that pass the test suite, but do not actually address the problems when evaluated manually…”
Získať plný text

Logic program proportions: Logic program proportions Autor Antić, Christian

“… into S ” as a mechanism for deriving similar programs by analogy-making. The idea is to instantiate a fragment of a recently introduced abstract algebraic framework of analogical proportions in the domain of logic programming…”
Získať plný text

Analysis of Behavior-Driven Development: A Thematic Synthesis Autor Arredondo-Reyes, Víctor M., Domínguez-Isidro, Saúl, Sánchez-García, Ángel J., Ocharán-Hernández, Jorge Octavio

“… as a development method and to provide a documented overview of its implementation. This research offers a thematic synthesis of BDD, elucidating its challenges, benefits, and implications in software development…”
Získať plný text

Complexity issues in automated synthesis of failsafe fault-tolerance Autor Kulkarni, S.S., Ebnenasir, A.

“… We present a somewhat unexpected result that, in general, the problem of synthesizing failsafe fault-tolerant distributed programs from their fault-intolerant version is NP-complete in the state space of the program…”
Získať plný text

Verifying and improving Halide’s term rewriting system with program synthesis Autor Newcomb, Julie L., Adams, Andrew, Johnson, Steven, Bodik, Rastislav, Kamil, Shoaib

“… Then, we build an automatic program synthesis system in order to craft new, provably correct rules…”
Získať plný text

The scenario approach to robust control design Autor Calafiore, G.C., Campi, M.C.

“…This paper proposes a new probabilistic solution framework for robust control analysis and synthesis problems that can be expressed in the form of minimization of a linear objective subject to convex…”
Získať plný text

Evaluating Large Language Models for Automatic Register Transfer Logic Generation via High-Level Synthesis Autor Swaroopa, Sneha, Mukherjee, Rijoy, Debnath, Anushka, Chakraborty, Rajat Subhra

“… generation of programs in general-purpose programming languages such as C, C++, Python, etc. With this as the key insight, in this paper we assess the performance of a two-stage software pipeline for automated Verilog RTL generation…”
Získať plný text

Iterative genetic improvement: Scaling stochastic program synthesis Autor Yuan, Yuan, Banzhaf, Wolfgang

“…Program synthesis aims to automatically find programs from an underlying programming language that satisfy a given specification…”
Získať plný text

PHOENIX: Pauli-Based High-Level Optimization Engine for Instruction Execution on NISQ Devices Autor Yang, Zhaohui, Ding, Dawei, Zhu, Chenghong, Chen, Jianxin, Xie, Yuan

“…Variational quantum algorithms (VQA) based on Hamiltonian simulation represent a specialized class of quantum programs well-suited for near-term quantum…”
Získať plný text

Hamsaz: replication coordination analysis and synthesis Autor Houshmand, Farzin, Lesani, Mohsen

“… Given a sequential object and its integrity properties, we automatically synthesize a replicated object that guarantees state integrity and convergence and avoids unnecessary coordination…”
Získať plný text

Program synthesis algorithm based on context consistency heuristic Autor Dou, Quansheng, Pan, Hao, Tang, Huanling, Jiang, Ping, Wang, Huixian

“…Programming-by-example (PBE) is a program synthesis technique that automatically synthesizes computer programs from input–output (I/O) examples…”
Získať plný text

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II Autor Dillig, Isil, Tasiran, Serdar

“…; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning…”
Získať plný text

Guaranteed cost control of affine nonlinear systems via partition of unity method Autor Han, Dongfang, Shi, Ling

“… Firstly, the general affine nonlinear system with the origin being its equilibrium point is represented as a linear-like structure with state-dependent coefficient matrices…”
Získať plný text

Minimization of the maximum peak-to-peak gain: the general multiblock problem Autor Diaz-Bobillo, I.J., Dahleh, M.A.

“…A comprehensive study of the general l/sub 1/-optimal multiblock problem and a new linear programming algorithm for computing suboptimal controllers are presented…”
Získať plný text

Stockwire.com: Speak with other shareholders about: (OTC: HLUN), (AMEX: TTP), (NASDAQ: NVAX), and (NASDAQ: GNTA)

“…M2 PRESSWIRE-March 15, 2007-Stockwire.com: Speak with other shareholders about: (OTC: HLUN), (AMEX: TTP), (NASDAQ: NVAX), and (NASDAQ: GNTA) . (C)1994-2007 M2…”
Získať plný text

FPGA design space exploration for scientific HPC applications using a fast and accurate cost model based on roofline analysis Autor Nabi, Syed Waqar, Vanderbauwhede, Wim

“…High-performance computing on heterogeneous platforms in general and those with FPGAs in particular presents a significant programming challenge…”
Získať plný text

UDF to SQL translation through compositional lazy inductive synthesis Autor Zhang, Guoqiang, Xu, Yuanchao, Shen, Xipeng, Dillig, Işıl

“…Many data processing systems allow SQL queries that call user-defined functions (UDFs) written in conventional programming languages…”
Získať plný text

Hilbert's Twenty-Fourth Problem Autor Thiele, Ruediger, Wos, Larry

“… (measured in terms of the total…”
Získať plný text

DAGON: technology binding and local optimization by DAG matching Autor Keutzer, K.

“… This paper outlines a formalism of this problem and offers a solution to the problem in terms of matching patterns, describing technology specific cells and optimizations, against a technology…”
Získať plný text