• ARPACK

  • Referenced in 794 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 147 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 88 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 57 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...
  • ABC

  • Referenced in 36 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...
  • 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...
  • MediaBench

  • Referenced in 34 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...
  • TOMP

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

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

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

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