
Esterel
 Referenced in 163 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 58 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 31 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 39 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...

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...

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

MuShROOM
 Referenced in 9 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 9 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...

MARD
 Referenced in 0 articles
[sw21509]
 MARD for Metamorphic Malware Analysis and RealTime Detection, to protect the end points that ... automation (2) platform independence (3) optimizations for realtime performance and (4) modularity. We also...

PittPatt
 Referenced in 2 articles
[sw36452]
 progress in optimizing our algorithms for speed, achieving better than realtime processing performance...