Search Results - ((automatizace OR automatizacia) OR automation) programming— program synthesis general terms~

Analysis of Behavior-Driven Development: A Thematic Synthesis by 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…”
Get full text

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

“… Our automated transformation process steps through dedicated representations in terms of Büchi automata, Mealy machines, decision diagram models, and code models…”
Get full text

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

The scenario approach to robust control design by 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…”
Get full text

Complexity issues in automated synthesis of failsafe fault-tolerance by 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…”
Get full text

Guaranteed cost control of affine nonlinear systems via partition of unity method by 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…”
Get full text

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

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

“… (measured in terms of the total…”
Get full text

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

Minimization of the maximum peak-to-peak gain: the general multiblock problem by 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…”
Get full text

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…”
Get full text

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…”
Get full text

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…”
Get full text

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

“… MBD Energy is a founding member of the Bio CCS program…”
Get full text