• Esterel

• Referenced in 163 articles [sw20012]
• suited to programming reactive systems, including real-time 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 real-time security needs. Our cipher, named PRINCE, allows encryption...

• APMonitor

• Referenced in 5 articles [sw19694]
• APMonitor Modeling Language is optimization software for mixed-integer and differential algebraic equations ... Modes of operation include data reconciliation, real-time optimization, dynamic simulation, and nonlinear predictive control...

• SynDEx

• Referenced in 12 articles [sw01608]
• methodology intended to optimize the implementation, under real-time constraints, of embedded control applications onto...

• TOP/DOMDEC

• Referenced in 9 articles [sw20520]
• several non-deterministic optimization algorithms. TOP/DOMDEC also provides real-time means for assessing a priori...

• PAT

• Referenced in 31 articles [sw13258]
• composing, simulating and reasoning of concurrent, real-time 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 real-time 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 real-time analysis support for researchers studying on optimization and people...

• Soda

• Referenced in 5 articles [sw11766]
• highly complex optimization problem, which must be solved in real-time while maintaining scalability. SODA...

• MuShROOM

• Referenced in 9 articles [sw12000]
• efficient numerical methods for nonlinear mixed-integer optimal control and model-predictive control problems ... convexification and relaxation techniques and a real-time iteration scheme. A proof of local contractivity...

• qpHPSC

• Referenced in 9 articles [sw12001]
• efficient numerical methods for nonlinear mixed-integer optimal control and model-predictive control problems ... convexification and relaxation techniques and a real-time 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 real-time applications where optimal execution speed & high accuracy...

• RapiTime

• Referenced in 1 article [sw14480]
• development and testing of real-time, embedded applications in the aerospace and automotive electronics industries ... timing verification, optimize software, update legacy systems and integrate critical real-time 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 real-time...

• BEC-GP-OMP-FOR

• Referenced in 4 articles [sw25892]
• Intel Fortran programs for solving the time-dependent Gross-Pitaevskii equation. We present Open Multi ... three spatial dimensions, optimized for use with GNU and Intel compilers. We use the split ... Crank-Nicolson algorithm for imaginary- and real-time propagation, which enables efficient calculation of stationary ... computers with multi-core processors and optimized for compiling with both commercially-licensed Intel Fortran...

• PARTS

• Referenced in 2 articles [sw03123]
• real-time analysis. In order to control the state-explosion problem, PARTS employs several optimization ... extensive experiments with several examples of real-time 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 real-time...

• WORHP Zen

• Referenced in 1 article [sw26154]
• understanding of the optimal solution and allow the formulation of real-time capable update algorithms ... real-time 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 Real-Time Detection, to protect the end points that ... automation (2) platform independence (3) optimizations for real-time performance and (4) modularity. We also...

• PittPatt

• Referenced in 2 articles [sw36452]
• progress in optimizing our algorithms for speed, achieving better than real-time processing performance...