
Mathematica
 Referenced in 5714 articles
[sw00554]
 publishing interactive engineering textbooks, to developing embedded imagerecognition algorithms or teaching calculus. Mathematica...

Simulink
 Referenced in 695 articles
[sw04348]
 ModelBased 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 fourthgeneration 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 Ccode 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 overﬁeld. The potential of moving elements between...

LISP
 Referenced in 126 articles
[sw07201]
 syntax or even new domainspecific languages embedded in Lisp. The interchangeability of code...

ASTREE
 Referenced in 111 articles
[sw13704]
 been applied with success to large embedded controlcommand safety critical realtime software generated...

tSNE
 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]
 hardwareintheloop simulations and for embedded control systems...

LGO
 Referenced in 86 articles
[sw00516]
 Lipschitzcontinuity  structural assumptions. LGO is embedded into a menudriven 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...