• ARPACK

• Referenced in 783 articles [sw04218]
• These variants may be viewed as a synthesis of the Arnoldi/Lanczos process with the Implicitly...

• Mu Analysis and Synthesis Toolbox

• Referenced in 109 articles [sw19506]
• Analysis and Synthesis Toolbox (μ-Tools) is a collection of functions (commands) developed primarily ... analysis and synthesis of control systems, with an emphasis on quantifying the effects of uncertainty ... optimal control and m analysis and synthesis techniques. This package allows you to use sophisticated...

• Robust Control Toolbox

• Referenced in 144 articles [sw07907]
• uncertain elements. H-infinity and mu-synthesis techniques let you design controllers that maximize robust...

• LEGO

• Referenced in 107 articles [sw09685]
• example, features of the system like argument synthesis and universe polymorphism make proof checking more...

• OASES

• Referenced in 87 articles [sw30082]
• OASES: Ocean Acoustic and Seismic Exploration Synthesis. OASES is a general purpose computer code...

• MR and LTV Synthesis Tools

• Referenced in 34 articles [sw05190]
• Synthesis Tools Description MR-LTV Tools has commands in the following areas: H-infinity synthesis ... rate sampled data LTI systems using LMI synthesis methods H-infinity synthesis of discrete-time ... systems using LMI synthesis methods System type conversion (i.e. multi-rate LTI to discrete-time...

• Cohn-Kanade

• Referenced in 56 articles [sw04974]
• research in automatic facial image analysis and synthesis and for perceptual studies. Cohn-Kanade...

• Wavelet Toolbox

• Referenced in 55 articles [sw08396]
• developing wavelet-based algorithms for the analysis, synthesis, denoising, and compression of signals and images...

• CUReT

• Referenced in 48 articles [sw13762]
• used for both image analysis and image synthesis. 3) BTF (bidirectional texture function) database with...

• Oyster

• Referenced in 32 articles [sw19629]
• Theorem proving and program synthesis with Oyster. Martin-Löf type theory provides a formal framework ... approach. We illustrate this by describing the synthesis of a simple evaluator of arithmetic expressions...

• IMITATOR

• Referenced in 27 articles [sw00439]
• stopwatches. It implemented several algorithms including safety synthesis, robustness, untimed language preservation, non-Zeno ... deadlock-free parameter synthesis, accepting cycle synthesis, etc. It features distributed capabilities...

• ABC

• Referenced in 31 articles [sw12910]
• public-domain system for logic synthesis and formal verification of binary logic circuits appearing ... focus on the synergy of sequential synthesis and sequential verification leads to improvements in both...

• MediaBench

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

• Breach

• Referenced in 20 articles [sw20822]
• Breach, a toolbox for verification and parameter synthesis of hybrid systems. We describe Breach ... perform approximate reachability analysis and parameter synthesis. A major novel feature is the robust monitoring...

• PARSEC

• Referenced in 26 articles [sw09610]
• includes emerging applications in recognition, mining and synthesis (RMS) as well as systems applications which...

• Petrify

• Referenced in 26 articles [sw09784]
• Petrify is a tool for synthesis of Petri nets and asynchronous controllers. Petrify reads...

• Lambda-Clam

• Referenced in 24 articles [sw19614]
• problem is outlined, in particular the synthesis and verification of software and hardware systems...

• TOMP

• Referenced in 23 articles [sw00971]
• calculations. A great number of analysis and synthesis problems of modern processes can be written...

• E-CELL

• Referenced in 22 articles [sw07917]
• transcription, translation, energy production and phospholipid synthesis. Most of the genes are taken from Mycoplasma...

• ROSETTA

• Referenced in 22 articles [sw10969]
• tools and programming environments for process-oriented synthesis of logic programs...