Suchergebnisse - Automatic Programming— program synthesis General Terms Design

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

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

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

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

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

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

Stockwire.com: Speak with other shareholders about: (OTCBB: BTEM), (NASD: ASTI), (OTCBB: APXR), (NASD: FICC), (NASD: DSTI), and (OTC: ETIM)

“… AUSTIN, TX: A very interesting indicator to look for is where the money is flowing into. We have a filter that we watch every morning that shows us "Dollar …”
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

Algorithmic State Machine Design and Automatic Theorem Proving: Two Dual Approaches to the Same Activity von 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 …”
Volltext