
ARPACK
 Referenced in 848 articles
[sw04218]
 operations. This software is based upon an algorithmic variant of the Arnoldi process called ... These variants may be viewed as a synthesis of the Arnoldi/Lanczos process with the Implicitly...

MediaBench
 Referenced in 34 articles
[sw08949]
 establish uniqueness, and integration with system synthesis algorithms to establish usefulness...

Wavelet Toolbox
 Referenced in 59 articles
[sw08396]
 developing waveletbased algorithms for the analysis, synthesis, denoising, and compression of signals and images...

IMITATOR
 Referenced in 29 articles
[sw00439]
 stopwatches. It implemented several algorithms including safety synthesis, robustness, untimed language preservation, nonZeno...

ABC
 Referenced in 39 articles
[sw12910]
 publicdomain system for logic synthesis and formal verification of binary logic circuits appearing ... variety of innovative algorithms. A focus on the synergy of sequential synthesis and sequential verification...

LYaPAS
 Referenced in 6 articles
[sw32275]
 Logical Language for the Representation of Synthesis Algorithms, or LYaPAS (ЛЯПАС), is a programming language ... considerations oriented toward the programming of synthesis algorithms for finitestate and discrete devices...

Sycraft
 Referenced in 7 articles
[sw08199]
 symbolic implementation of respective synthesis algorithms [BK07]. Sycraft has successfully been used to synthesize some...

Robust Control Toolbox
 Referenced in 156 articles
[sw07907]
 Robust Control Toolbox™ provides functions, algorithms, and blocks for analyzing and tuning control systems ... uncertain elements. Hinfinity and musynthesis techniques let you design controllers that maximize robust...

FlashMeta
 Referenced in 5 articles
[sw29484]
 framework for inductive program synthesis. Inductive synthesis, or programmingbyexamples (PBE) is gaining prominence ... novel observation is that many PBE algorithms are a natural fallout of one generic ... underlying domainspecific language (DSL). The metaalgorithm propagates examplebased constraints on an expression ... designer, is separated from the synthesis algorithm. Our FlashMeta framework implements this methodology, allowing synthesizer...

MAHA
 Referenced in 7 articles
[sw15809]
 program which implements an algorithm for register level synthesis of data paths from a data...

RACT
 Referenced in 20 articles
[sw06924]
 Algorithms Control Toolbox (RACT) RACT is a Matlab toolbox for probabilistic analysis and synthesis...

ROCS
 Referenced in 5 articles
[sw28114]
 systems. This paper presents ROCS, an algorithmic control synthesis tool for nonlinear dynamical systems. Different...

Synet
 Referenced in 3 articles
[sw18079]
 also comprizes a new synthesis algorithm based on the computation of extremal rays of polyhedral...

TOMP
 Referenced in 32 articles
[sw00971]
 Algorithm 733: TOMP  Fortran modules for optimal control calculations. A great number of analysis ... synthesis problems of modern processes can be written as state and control constrained optimal control...

SuperCollider
 Referenced in 3 articles
[sw26242]
 SuperCollider is a platform for audio synthesis and algorithmic composition, used by musicians, artists ... features 400+ unit generators (“UGens”) for analysis, synthesis, and processing. Its granularity allows the fluid ... between additive and subtractive synthesis, FM, granular synthesis, FFT, and physical modeling. You can write ... algorithmic composition and sequencing, finding new sound synthesis methods, connecting your app to external hardware...

FAUST
 Referenced in 2 articles
[sw29855]
 modular tool which allows simple mapping of algorithm events to sound parameters and provides ... without having to understand the underlying sound synthesis mechanisms. However, the underlying sound synthesis framework ... interested programmers to easily change sound synthesis algorithms, or to add features and parameters...

FlashExtract
 Referenced in 2 articles
[sw23097]
 sequence constructs. (b) an inductive synthesis algorithm to synthesize the intended program from few examples...

BlinkFill
 Referenced in 2 articles
[sw29485]
 input data to guide the synthesis algorithm. We develop a data structure InputDataGraph to succinctly...

STCT
 Referenced in 9 articles
[sw02293]
 efficient algorithm for supervisory control design This paper introduces a new synthesis approach...

GAUT
 Referenced in 4 articles
[sw17048]
 GAUT: a highlevel synthesis tool for DSP applications. From algorithm to digital circuit. This ... level synthesis tool dedicated to digital signal processing applications. Starting from an algorithmic bitaccurate ... scheduling and the binding tasks. Mandatory synthesis constraints are the throughput and the clock period...