Výsledky vyhledávání - automation programming— program synthesis general terms design
-
1
The scenario approach to robust control design
ISSN: 0018-9286, 1558-2523Vydáno: New York, NY IEEE 01.05.2006Vydáno v IEEE transactions on automatic control (01.05.2006)“…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
Journal Article -
2
PHOENIX: Pauli-Based High-Level Optimization Engine for Instruction Execution on NISQ Devices
Vydáno: IEEE 22.06.2025Vydáno v 2025 62nd ACM/IEEE Design Automation Conference (DAC) (22.06.2025)“…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
Konferenční příspěvek -
3
Property-driven benchmark generation: synthesizing programs of realistic structure
ISSN: 1433-2779, 1433-2787Vydáno: Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2014Vydáno v International journal on software tools for technology transfer (01.10.2014)“… of a sequence of property-preserving, randomly generated structural design decisions into executable source code of a chosen target language or platform…”
Získat plný text
Journal Article -
4
Complexity issues in automated synthesis of failsafe fault-tolerance
ISSN: 1545-5971, 1941-0018Vydáno: Washington IEEE 01.07.2005Vydáno v IEEE transactions on dependable and secure computing (01.07.2005)“… 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
Journal Article -
5
Evaluating Large Language Models for Automatic Register Transfer Logic Generation via High-Level Synthesis
ISSN: 2331-8422Vydáno: Ithaca Cornell University Library, arXiv.org 05.08.2024Vydáno v arXiv.org (05.08.2024)“… 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…”
Získat plný text
Paper -
6
Hilbert's Twenty-Fourth Problem
ISSN: 0168-7433, 1573-0670Vydáno: Dordrecht Springer Nature B.V 01.03.2002Vydáno v Journal of automated reasoning (01.03.2002)“… (measured in terms of the total…”
Získat plný text
Journal Article -
7
DAGON: technology binding and local optimization by DAG matching
ISBN: 9780818607813, 0818607815ISSN: 0738-100XVydáno: New York, NY, USA ACM 01.10.1987Vydáno v 24th ACM/IEEE Design Automation Conference (01.10.1987)“… DAGON is an integral part of a synthesis system that has been found to provide industrial quality solutions to real circuit design problems…”
Získat plný text
Konferenční příspěvek -
8
Minimization of the maximum peak-to-peak gain: the general multiblock problem
ISSN: 0018-9286Vydáno: New York, NY IEEE 01.10.1993Vydáno v IEEE transactions on automatic control (01.10.1993)“…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
Journal Article -
9
ShamrockStocks.com: Lucky Picks of The Day: (Pinksheets:AENY)- (PINKSHEETS:ANPG)- (Pinksheets:ASWRF)
Vydáno: Coventry Normans Media Ltd 07.07.2010Vydáno v M2 Presswire (07.07.2010)“…"Americas Energy Company is honored to accept these accomplished individuals to our Board of Directors. Their experience is a great resource for AECo." said…”
Získat plný text
Newsletter -
10
OTC ADVISORS, LLC: Huge Alert On: (OTCBB:RDUFF) - (OTCBB:RNRG) - (OTCBB:RXAC)
Vydáno: Coventry Normans Media Ltd 02.06.2010Vydáno v M2 Presswire (02.06.2010)“…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…”
Získat plný text
Newsletter -
11
Stockwire.com: Speak with other shareholders about: (OTC: AGWS), (NYSE: SMG), (NYSE: BG), and (NYSE: MON)
Vydáno: Coventry Normans Media Ltd 19.07.2007Vydáno v M2 Presswire (19.07.2007)“…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…”
Získat plný text
Newsletter -
12
Breakthroughstocks.net: EXPLOSIVE News On: (NASDAQ:CVLT) - (NASDAQ:JMBA) - (NASDAQ:GNBT)
Vydáno: Coventry Normans Media Ltd 11.08.2010Vydáno v M2 Presswire (11.08.2010)“…A singular vision -- a belief in a better way to address current and future data and information management needs -- guides CommVault in the development of…”
Získat plný text
Newsletter

