Suchergebnisse - ((automatic OR automatizace) OR automation) programming— program synthesis general terms~

PROPR: Property-Based Automatic Program Repair von 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 …”
Volltext

Logic program proportions: Logic program proportions von 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 …”
Volltext

Analysis of Behavior-Driven Development: A Thematic Synthesis von 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 …”
Volltext

Property-driven benchmark generation: synthesizing programs of realistic structure von 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 …”
Volltext

Complexity issues in automated synthesis of failsafe fault-tolerance von 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 …”
Volltext

Verifying and improving Halide’s term rewriting system with program synthesis von 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 …”
Volltext

The scenario approach to robust control design von 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 …”
Volltext

Evaluating Large Language Models for Automatic Register Transfer Logic Generation via High-Level Synthesis von 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 …”
Volltext

PHOENIX: Pauli-Based High-Level Optimization Engine for Instruction Execution on NISQ Devices von 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 …”
Volltext

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

“… ; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning …”
Volltext

Guaranteed cost control of affine nonlinear systems via partition of unity method von 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 …”
Volltext

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

Minimization of the maximum peak-to-peak gain: the general multiblock problem von 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 …”
Volltext

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

“… (measured in terms of the total …”
Volltext

DAGON: technology binding and local optimization by DAG matching von 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 …”
Volltext

Automatic implementation of affine iterative algorithms: Design flow and communication synthesis von 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 …”
Volltext

More testable properties von 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 …”
Volltext

Simple Linear Loops: Algebraic Invariants and Applications von 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 …”
Volltext

ShamrockStocks.com: Lucky Picks of The Day: (Pinksheets:AENY)- (PINKSHEETS:ANPG)- (Pinksheets:ASWRF)

“… "Americas Energy Company is honored to accept these accomplished individuals to our Board of Directors. Their experience is a great resource for AECo." said …”
Volltext

OTC ADVISORS, LLC: Huge Alert On: (OTCBB:RDUFF) - (OTCBB:RNRG) - (OTCBB:RXAC)

“… Radius Gold Inc. has been exploring for gold in Latin America for nearly a decade, and has assembled interests in a portfolio of promising gold projects …”
Volltext