• ARPACK

  • Referenced in 841 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 57 articles [sw08396]
  • developing wavelet-based 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, non-Zeno...
  • ABC

  • Referenced in 40 articles [sw12910]
  • public-domain 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 finite-state 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 154 articles [sw07907]
  • Robust Control Toolbox™ provides functions, algorithms, and blocks for analyzing and tuning control systems ... uncertain elements. H-infinity and mu-synthesis techniques let you design controllers that maximize robust...
  • FlashMeta

  • Referenced in 5 articles [sw29484]
  • framework for inductive program synthesis. Inductive synthesis, or programming-by-examples (PBE) is gaining prominence ... novel observation is that many PBE algorithms are a natural fall-out of one generic ... underlying domain-specific language (DSL). The meta-algorithm propagates example-based 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 high-level synthesis tool for DSP applications. From algorithm to digital circuit. This ... level synthesis tool dedicated to digital signal processing applications. Starting from an algorithmic bit-accurate ... scheduling and the binding tasks. Mandatory synthesis constraints are the throughput and the clock period...