Výsledky vyhledávání - Automatic Programming— Program synthesis General Terms~

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

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

Automatic implementation of affine iterative algorithms: Design flow and communication synthesis Autor Marongiu, Alessandro, Palazzari, Paolo

“…This work addresses the automatic generation of a parallel architecture, described by the skeleton of a VHDL program at the Register Transfer Level, starting from some high level expression specified…”
Získat plný text

More testable properties Autor Falcone, Yliès, Fernandez, Jean-Claude, Jéron, Thierry, Marchand, Hervé, Mounier, Laurent

“…, in terms of security concerns) may require to extend this technique to address a larger set of properties…”
Získat plný text

Simple Linear Loops: Algebraic Invariants and Applications Autor Ait El Manssour, Rida, Kenison, George, Shirmohammadi, Mahsa, Varonka, Anton

“… While this task is undecidable in general, it is decidable for certain restricted classes of programs…”
Získat plný text

Neural Program Synthesis for Compiler Fuzzing Autor Liu, Xiao

“…Compilers are among the most fundamental programming tools for building software…”
Získat plný text

Stockwire.com: Speak with other shareholders about: (OTC: AGWS), (NYSE: SMG), (NYSE: BG), and (NYSE: MON)

“…M2 PRESSWIRE-March 15, 2007-Stockwire.com: Speak with other shareholders about: (OTC: AGWS), (NYSE: SMG), (NYSE: BG), and (NYSE: MON) . (C)1994-2007 M2…”
Získat plný text

A convex characterization of gain-scheduled H∞ controllers Autor APKARIAN, P, GAHINET, P

“… In general, higher performance can be achieved by control laws that incorporate available measurements of theta and therefore "adjust" to the current plant dynamics…”
Získat 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ískat plný text

Algorithmic State Machine Design and Automatic Theorem Proving: Two Dual Approaches to the Same Activity Autor SNYERS, D, THAYSE, A

“… do) and proving theorems can be carried out by using the same approach. It is proved that the same transformations acting on P-functions can be interpreted in terms of binary program synthesis and of theorem proving…”
Získat plný text