• LMI toolbox

  • Referenced in 1463 articles [sw06383]
  • techniques have emerged as powerful design tools in areas ranging from control engineering to system...
  • LINGO

  • Referenced in 319 articles [sw04942]
  • LINGO is a comprehensive tool designed to make building and solving Linear, Nonlinear (convex & nonconvex/Global...
  • CUTEr

  • Referenced in 602 articles [sw04010]
  • Fortran 90/95 and Matlab tools intended to help developers design, compare and improve ... these files may be manipulated to provide tools suitable for testing optimization packages. Ready...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • field of engineering simulation that a design process requires. Organizations around the world trust ANSYS ... other CAE tools. These ANSYS Advantages add value to the engineering design process by delivering...
  • QRM

  • Referenced in 718 articles [sw11358]
  • designed to accompany the book Quantitative Risk Management: Concepts, Techniques and Tools by Alexander...
  • Gmsh

  • Referenced in 765 articles [sw00366]
  • design goal is to provide a fast, light and user-friendly meshing tool with parametric...
  • Metro

  • Referenced in 78 articles [sw07731]
  • simplified surfaces. Metro is a tool designed to evaluate the difference between two triangular meshes...
  • Scilab

  • Referenced in 173 articles [sw00834]
  • modeling Control System Design & Analysis: Standard algorithms and tools for control system study Signal Processing...
  • NuSMV

  • Referenced in 309 articles [sw04131]
  • verification of industrial designs, as a core for custom verification tools, as a testbed...
  • Python

  • Referenced in 2049 articles [sw14460]
  • general-purpose, interpreted, dynamic programming language. Its design philosophy emphasizes code readability, and its syntax ... wide variety of systems. Using third-party tools, such as Py2exe or Pyinstaller, Python code...
  • Simulink

  • Referenced in 817 articles [sw04348]
  • block libraries that let you design, simulate, implement, and test a variety of time-varying ... immediate access to an extensive range of tools that let you develop algorithms, analyze...
  • KEEL

  • Referenced in 153 articles [sw06791]
  • comparison to existing software tools. Moreover, KEEL has been designed with a double goal: research...
  • Xilinx

  • Referenced in 95 articles [sw07491]
  • Xilinx system generator and Xilinx Tool Kit. Programmable devices are at the heart of most ... systems today, enabling not only programmable logic design, but programmable systems integration. Xilinx has transformed ... processing systems and beyond. Xilinx offers development tools that support programmable platforms requiring aggressive pace ... providing development tools that are defining the next generation of design...
  • PETSc

  • Referenced in 1573 articles [sw04012]
  • PETSc is a sophisticated set of software tools; as such, for some users it initially ... However, the power of the PETSc design and the algorithms it incorporates may make...
  • HOL Light

  • Referenced in 308 articles [sw06580]
  • simple design and extremely small logical kernel. Despite this, it provides powerful proof tools...
  • UG

  • Referenced in 191 articles [sw04596]
  • been designed to overcome these problems. It provides very general tools for the generation ... serve on the one hand as a tool for exploring new algorithms ... this paper, we show the software design structure of UG and explore some...
  • Nuprl

  • Referenced in 394 articles [sw06751]
  • mathematics and programming. Over the years its design has been substantially improved to meet ... supports the cooperation of independent formal tools...
  • FAST

  • Referenced in 40 articles [sw21268]
  • that have been made in the tool design. The user must provide a model ... capabilities are compared with those of other tools. A range of case studies from...
  • DOT

  • Referenced in 62 articles [sw14223]
  • Design Optimization Tools. DOT is a general-purpose gradient-based optimization software library that ... linear or nonlinear functions of the design variables. They may be very simple analytical functions...
  • QCADesigner

  • Referenced in 27 articles [sw22781]
  • QCADEsigner: a rapid design and simulation tool for quantum-dot cellular automata. QCADesigner ... British Columbia to create a design and simulation tool for Quantum Dot Cellular Automata ... QCADesigner tool facilitates rapid design, layout and simulation of QCA circuits by providing powerful ... features available in more complex circuit design tools...