• Mathematica

  • Referenced in 5714 articles [sw00554]
  • publishing interactive engineering textbooks, to developing embedded image-recognition algorithms or teaching calculus. Mathematica...
  • Simulink

  • Referenced in 695 articles [sw04348]
  • Model-Based Design for dynamic and embedded systems. It provides an interactive graphical environment...
  • HyTech

  • Referenced in 320 articles [sw04125]
  • automatic tool for the analysis of embedded systems. HyTech computes the condition under which...
  • OTTER

  • Referenced in 310 articles [sw02904]
  • symbolic calculator and has an embedded equational programming system. Otter is a fourth-generation Argonne...
  • NuSMV

  • Referenced in 288 articles [sw04131]
  • developed as a joint project between: The Embedded Systems Unit in the Center for Information...
  • Kronos

  • Referenced in 259 articles [sw01270]
  • perform a task within strict time deadlines. Embedded controllers, circuits and communication protocols are examples...
  • Esterel

  • Referenced in 161 articles [sw20012]
  • generate C-code to be embedded as a reactive kernel in a larger program that ... netlists of gates, which can then be embedded in a larger system. Extensive optimization...
  • MPT

  • Referenced in 209 articles [sw04732]
  • Resulting optimal control laws can either be embedded into your applications in a form...
  • KANT/KASH

  • Referenced in 155 articles [sw00481]
  • generated and F can be embedded into an overfield. The potential of moving elements between...
  • LISP

  • Referenced in 126 articles [sw07201]
  • syntax or even new domain-specific languages embedded in Lisp. The interchangeability of code...
  • ASTREE

  • Referenced in 111 articles [sw13704]
  • been applied with success to large embedded control-command safety critical real-time software generated...
  • t-SNE

  • Referenced in 79 articles [sw22300]
  • technique is a variation of Stochastic Neighbor Embedding (Hinton and Roweis, 2002) that is much ... including Sammon mapping, Isomap, and Locally Linear Embedding. The visualizations produced...
  • Graphs

  • Referenced in 104 articles [sw12277]
  • networking and distributed computing and for metric embeddings in geometry as well. In this survey...
  • SCALCG

  • Referenced in 98 articles [sw08453]
  • BFGS updating formula. The computational scheme is embedded in the restart philosophy of Beale–Powell...
  • MiBench

  • Referenced in 51 articles [sw04421]
  • paper examines a set of commercially representative embedded programs and compares them to an existing ... configurations similar to current and next generation embedded processors. Several characteristics distinguish the representative embedded ... distribution, memory behavior, and available parallelism. The embedded benchmarks, called MiBench, are freely available...
  • SoPlex

  • Referenced in 87 articles [sw04063]
  • format files as well as embedded into other programs via a C++ class library. SoPlex...
  • Modelica

  • Referenced in 87 articles [sw04352]
  • hardware-in-the-loop simulations and for embedded control systems...
  • LGO

  • Referenced in 86 articles [sw00516]
  • Lipschitz-continuity -- structural assumptions. LGO is embedded into a menu-driven user interface which effectively...
  • CBMC

  • Referenced in 77 articles [sw09719]
  • decision procedure. While CBMC is aimed for embedded software, it also supports dynamic memory allocation...
  • MEBDF

  • Referenced in 75 articles [sw00567]
  • described. The algorithm is constructed by embedding a standard sparse linear algebraic equation solver into...