Výsledky vyhledávání - (automatic OR automation) programming – program synthesis general terms algorithms

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

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

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

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

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

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

ShamrockStocks.com: Lucky Picks of The Day: (OTCBB:GLLA)- (OTCBB:DVLY)- (OTCBB:MITK)

“… A portion of the gain in the second quarter of 2010 undoubtedly reflected the effect of the temporary government sponsored tax credit program…”
Získat plný text

OTC ADVISORS, LLC: Huge Alert On: (OTCBB:ASFG) - (OTCBB:CSGJ) - (OTCBB:DKAM)

“…The Company reported revenue of $5,550,000 for the three months ended March 31, 2010 as compared to $5,027,000 for the three months ended March 31, 2009 an…”
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

Breakthroughstocks.net: EXPLOSIVE News On: (OTCBB:RIMS) - (PINKSHEETS:HHGI) - (OTCBB:HSBK)

“…"Robocom's R-Voice solution was implemented utilizing BRR's existing wireless network," said Robocom's Vice President Rich Adamo. Additional benefits that will…”
Získat plný text