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

Simulink
 Referenced in 771 articles
[sw04348]
 ModelBased Design for dynamic and embedded systems. It provides an interactive graphical environment...

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

OTTER
 Referenced in 316 articles
[sw02904]
 symbolic calculator and has an embedded equational programming system. Otter is a fourthgeneration Argonne...

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

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

Esterel
 Referenced in 163 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 218 articles
[sw04732]
 Resulting optimal control laws can either be embedded into your applications in a form...

KANT/KASH
 Referenced in 156 articles
[sw00481]
 generated and F can be embedded into an overﬁeld. The potential of moving elements between...

tSNE
 Referenced in 101 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...

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

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

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

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

Modelica
 Referenced in 95 articles
[sw04352]
 hardwareintheloop simulations and for embedded control systems...

LGO
 Referenced in 93 articles
[sw00516]
 Lipschitzcontinuity  structural assumptions. LGO is embedded into a menudriven user interface which effectively...

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 88 articles
[sw04063]
 format files as well as embedded into other programs via a C++ class library. SoPlex...

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

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