• ARPACK

  • Referenced in 841 articles [sw04218]
  • subroutines designed to solve large scale eigenvalue problems. The package is designed to compute ... These variants may be viewed as a synthesis of the Arnoldi/Lanczos process with the Implicitly ... technique that is suitable for large scale problems. For many standard problems, a matrix factorization...
  • TOMP

  • Referenced in 32 articles [sw00971]
  • great number of analysis and synthesis problems of modern processes can be written as state...
  • TuLiP

  • Referenced in 13 articles [sw20173]
  • receding horizon framework, allowing the synthesis problem to be broken into a set of smaller ... problems, and consequently alleviating the computational complexity of the synthesis procedure, while preserving the correctness...
  • Mu Analysis and Synthesis Toolbox

  • Referenced in 110 articles [sw19506]
  • optimal control and m analysis and synthesis techniques. This package allows you to use sophisticated ... optimal control techniques to solve control design problems. Control design software, such as μ-Tools...
  • Lambda-Clam

  • Referenced in 24 articles [sw19614]
  • number of types of problem is outlined, in particular the synthesis and verification of software ... higher-order metatheory overcomes problems encountered in Clam because of its inability to reason properly...
  • NLControl

  • Referenced in 7 articles [sw15154]
  • solution of different modeling, analysis, and synthesis problems for nonlinear control systems. The majority...
  • PRIZ

  • Referenced in 8 articles [sw29713]
  • problem domain, but applicable for synthesis of programs solving problems of a wide class called...
  • ASTRX/OBLX

  • Referenced in 5 articles [sw19450]
  • unconstrained optimization formulation of the circuit synthesis problem. We have implemented this strategy ... synthesize essentially all the analog synthesis benchmarks published in the past decade; ASTRX/OBLX ... limits of the approach on industrial-sized problems, we have synthesized the component cells...
  • QUASY

  • Referenced in 5 articles [sw09774]
  • sequences. Quasy solves these two quantitative synthesis problems by reduction to instances of 2-player...
  • LEGO

  • Referenced in 107 articles [sw09685]
  • example, features of the system like argument synthesis and universe polymorphism make proof checking more ... expressive language for formalization of mathematical problems and program specification and development...
  • NFFr

  • Referenced in 3 articles [sw31999]
  • circuits: NFFr Library. The reversible circuit synthesis problem can be reduced to permutation group. This ... finding problem to be used to find tight bounds on the synthesis...
  • Dubins explorer

  • Referenced in 3 articles [sw16416]
  • Explorer also gives a complete panorama (synthesis problem) for the minimal length elements simultaneously...
  • ROLMIP

  • Referenced in 16 articles [sw21158]
  • homogeneous. Such optimization problems arise, for example, on the analysis and synthesis conditions related ... Matlab executable file which solves the same problem but consuming much less time...
  • CASCADE

  • Referenced in 8 articles [sw01385]
  • circuits, 3D for XBM synthesis). By decomposition, certain problems involving output concurrency and MOC behaviour...
  • EFSMT

  • Referenced in 2 articles [sw19487]
  • number of pivotal verification and synthesis problems to EFSMT. Exemplary problems in this paper include ... synthesis for hybrid control systems. We are also proposing an algorithm for solving EFSMT problems...
  • NFT

  • Referenced in 2 articles [sw32000]
  • circuits: NFT library. The reversible circuit synthesis problem can be reduced to permutation group. This ... finding problem to be used to find tight bounds on the synthesis...
  • TerpreT

  • Referenced in 2 articles [sw29483]
  • domain-specific language for expressing program synthesis problems. TerpreT is similar to a probabilistic programming ... discrete satisfiability solving, and the Sketch program synthesis system. We illustrate the value of TerpreT...
  • HTools

  • Referenced in 2 articles [sw22811]
  • Toolbox for Solving H∞ and H2 Synthesis Problems. HTOOLS is a MATLAB Toolbox containing about...
  • JSketch

  • Referenced in 1 article [sw21712]
  • partial classes. JSketch then translates the synthesis problem into a Sketch problem; this translation...