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

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

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

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

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

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

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

Stockwire.com: Speak with other shareholders about: (OTC: STMC), (OTC: NNCP), (OTC: EHDT), and (OTC: NWACQ)

“… M2 PRESSWIRE-March 8, 2007-Stockwire.com: Speak with other shareholders about: (OTC: STMC), (OTC: NNCP), (OTC: EHDT), and (OTC: NWACQ) . (C)1994-2007 M2 …”
Volltext

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

“… (measured in terms of the total …”
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

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

“… DAGON is an integral part of a synthesis system that has been found to provide industrial quality solutions to real circuit design problems …”
Volltext

ShamrockStocks.com: Lucky Picks of The Day: (Pinksheets:AENY)- (PINKSHEETS:ALIF)- (Pinksheets:ALRX)

“… "For the three month period ended March 31, 2010, we were able to further develop our initial properties to provide approximately $1.6 million (unaudited) in …”
Volltext

OTC ADVISORS, LLC: Huge Alert On: (OTCBB:ADSY) - (OTCBB:AHOM) - (OTCBB:AMEL)

“… BRENTWOOD, Tenn., Apr 28, 2010 ) -- American HomePatient, Inc. (OTCBB: AHOM) ("American HomePatient" or the "Company"), one of the nation's largest home health …”
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

Breakthroughstocks.net: EXPLOSIVE news on: (OTCBB:LCTZ) - (OTCBB:OOIL) - (OTCBB:CNOZ)

“… MBD Energy is a founding member of the Bio CCS program …”
Volltext