• Matlab

  • Referenced in 12477 articles [sw00558]
  • processing and communications, image and video processing, control systems, test and measurement, computational finance...
  • Simulink

  • Referenced in 766 articles [sw04348]
  • variety of time-varying systems, including communications, controls, signal processing, video processing, and image processing...
  • Uppaal

  • Referenced in 635 articles [sw04702]
  • systems that can be modeled as a collection of non-deterministic processes with finite control...
  • ABAQUS

  • Referenced in 1485 articles [sw04215]
  • consider full vehicle loads, dynamic vibration, multibody systems, impact/crash, nonlinear static, thermal coupling, and acoustic ... Abaqus Unified FEA to consolidate their processes and tools, reduce costs and inefficiencies, and gain...
  • PRISM

  • Referenced in 417 articles [sw01186]
  • probabilistic systems. PRISM supports three probabilistic models: discrete-time Markov chains, Markov decision processes...
  • Xilinx

  • Referenced in 96 articles [sw07491]
  • only programmable logic design, but programmable systems integration. Xilinx has transformed from an FPGA company ... software programmable ARM® processing systems and beyond. Xilinx offers development tools that support programmable platforms...
  • Scilab

  • Referenced in 168 articles [sw00834]
  • algorithms and tools for control system study Signal Processing: Visualize, analyze and filter signals ... exchanges with external tools. Xcos - Hybrid dynamic systems modeler and simulator: Modeling mechanical systems, hydraulic...
  • PARDISO

  • Referenced in 272 articles [sw00679]
  • library version: Unsymmetric, structurally symmetric or symmetric systems, real or complex, positive definite or indefinite ... accelerate the solution process for very large three-dimensional systems...
  • CESAR

  • Referenced in 159 articles [sw08510]
  • algorithmic description of a system of communicating sequential processes with respect to a given ... monotonic predicate transformers. The verification of a system consists in obtaining by automatic translation...
  • Camera Calibration

  • Referenced in 51 articles [sw13537]
  • Camera calibration toolbox for MATLAB. Computer Vision System Toolbox™ provides algorithms, functions, and apps ... simulating computer vision and video processing systems. You can perform feature detection, extraction, and matching ... estimation; and video processing. For 3-D computer vision, the system toolbox supports camera calibration ... reconstruction, and 3-D point cloud processing. With machine learning based frameworks, you can train...
  • OSL

  • Referenced in 106 articles [sw09295]
  • series computers and “super-scalar” processing on the RISC System/$6000^{TM}$ series...
  • LOTOS

  • Referenced in 152 articles [sw02961]
  • LOTOS a system is seen as a set of processes which interact and exchange data...
  • ANFIS

  • Referenced in 269 articles [sw08730]
  • nonlinear components on-line in a control system, and predict a chaotic time series ... promising applications to automatic control and signal processing are also suggested...
  • GloMIQO

  • Referenced in 72 articles [sw06266]
  • process networks optimization problems include: pooling problems, distillation sequences, wastewater treatment and total water systems ... reactor-separator-recycle systems, separation systems, data reconciliation, batch processes, crude oil scheduling, and natural...
  • KLAIM

  • Referenced in 71 articles [sw09424]
  • control the interaction protocols among located processes. The formal operational semantics is useful for discussing ... implementations. KLAIM is equipped with a type system that statically checks access right violations ... intentions (read, write, execute, etc.) of processes in relation to the various ... localities. The type system is used to determine the operations that processes want to perform...
  • CHARMM

  • Referenced in 115 articles [sw05953]
  • mixed quantum mechanical/classical systems can be defined to investigate chemical processes such as enzyme catalysis...
  • VTK

  • Referenced in 106 articles [sw10593]
  • source, freely available software system for 3D computer graphics, image processing and visualization. VTK consists...
  • Bogor

  • Referenced in 36 articles [sw06858]
  • both the requirements for software systems and the processes by which systems are developed suggest...
  • Graphs

  • Referenced in 104 articles [sw12277]
  • methods; database and information systems researchers investigate materialization tradeoffs, query processing on spatial networks...
  • Oz

  • Referenced in 113 articles [sw06799]
  • knowledge representation, processing of natural language, simulations, multi agent systems, and sophisticated graphical user interfaces...