
Esterel
 Referenced in 164 articles
[sw20012]
 suited to programming reactive systems, including realtime systems and control automata. The Esterel ... embedded in a larger system. Extensive optimization is available. We provide a graphical symbolic debugger...

PRINCE
 Referenced in 59 articles
[sw13240]
 paper presents a block cipher that is optimized with respect to latency when implemented ... many future pervasive applications with realtime security needs. Our cipher, named PRINCE, allows encryption...

APMonitor
 Referenced in 5 articles
[sw19694]
 APMonitor Modeling Language is optimization software for mixedinteger and differential algebraic equations ... Modes of operation include data reconciliation, realtime optimization, dynamic simulation, and nonlinear predictive control...

SynDEx
 Referenced in 12 articles
[sw01608]
 methodology intended to optimize the implementation, under realtime constraints, of embedded control applications onto...

TOP/DOMDEC
 Referenced in 9 articles
[sw20520]
 several nondeterministic optimization algorithms. TOP/DOMDEC also provides realtime means for assessing a priori...

PAT
 Referenced in 35 articles
[sw13258]
 composing, simulating and reasoning of concurrent, realtime systems and other possible domains. It comes ... model checking. To achieve good performance, advanced optimization techniques are implemented in PAT, e.g. partial...

CVXGEN
 Referenced in 40 articles
[sw07151]
 high level description of a convex optimization problem family, and automatically generates custom C code ... free code suitable for embedding in realtime applications. The generated code is almost branch...

GEKKO
 Referenced in 1 article
[sw38459]
 Python package for machine learning and optimization of mixedinteger and differential algebraic equations ... operation include parameter regression, data reconciliation, realtime optimization, dynamic simulation, and nonlinear predictive control...

TSPAntSim
 Referenced in 6 articles
[sw04980]
 algorithms have been used to solve many optimization problems in various fields of engineering ... interactive visualization with realtime analysis support for researchers studying on optimization and people...

ODYS QP Solver
 Referenced in 1 article
[sw38481]
 optimized for problems arising in realtime embedded optimization and embedded MPC. It supports general...

Soda
 Referenced in 5 articles
[sw11766]
 highly complex optimization problem, which must be solved in realtime while maintaining scalability. SODA...

MuShROOM
 Referenced in 13 articles
[sw12000]
 efficient numerical methods for nonlinear mixedinteger optimal control and modelpredictive control problems ... convexification and relaxation techniques and a realtime iteration scheme. A proof of local contractivity...

qpHPSC
 Referenced in 13 articles
[sw12001]
 efficient numerical methods for nonlinear mixedinteger optimal control and modelpredictive control problems ... convexification and relaxation techniques and a realtime iteration scheme. A proof of local contractivity...

IQmath
 Referenced in 1 article
[sw28462]
 TMS320C28x IQmath Library is collection of highly optimized and high precision mathematical Function Library ... typically used in computationally intensive realtime applications where optimal execution speed & high accuracy...

RapiTime
 Referenced in 1 article
[sw14480]
 development and testing of realtime, embedded applications in the aerospace and automotive electronics industries ... timing verification, optimize software, update legacy systems and integrate critical realtime embedded systems...

TopOpt 2D
 Referenced in 4 articles
[sw22632]
 TopOpt App is an interactive topology optimization tool that solves the minimum compliance problem ... evolve to a new optimum in realtime...

BECGPOMPFOR
 Referenced in 4 articles
[sw25892]
 Intel Fortran programs for solving the timedependent GrossPitaevskii equation. We present Open Multi ... three spatial dimensions, optimized for use with GNU and Intel compilers. We use the split ... CrankNicolson algorithm for imaginary and realtime propagation, which enables efficient calculation of stationary ... computers with multicore processors and optimized for compiling with both commerciallylicensed Intel Fortran...

PARTS
 Referenced in 2 articles
[sw03123]
 realtime analysis. In order to control the stateexplosion problem, PARTS employs several optimization ... extensive experiments with several examples of realtime specifications based on Ada 83. When possible...

TopOpt 3D
 Referenced in 3 articles
[sw22633]
 TopOpt App. TopOpt3D is an interactive topology optimization tool that solves the minimum compliance problem ... evolve to a new optimum in realtime...

WORHP Zen
 Referenced in 1 article
[sw26154]
 understanding of the optimal solution and allow the formulation of realtime capable update algorithms ... realtime updates to calculate an approximated solution of a perturbed optimization problem. An example...