
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...

LambdaClam
 Referenced in 24 articles
[sw19614]
 number of types of problem is outlined, in particular the synthesis and verification of software ... higherorder 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 industrialsized 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 2player...

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]
 domainspecific 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...