• Esterel

• Referenced in 166 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 69 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 38 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 44 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...

• GEKKO

• Referenced in 1 article [sw38459]
• Python package for machine learning and optimization of mixed-integer and differential algebraic equations ... operation include parameter regression, data reconciliation, real-time optimization, dynamic simulation, and nonlinear predictive control...

• HLBVH

• Referenced in 3 articles [sw41135]
• optimized HLBVH, two high performance BVH construction algorithms targeting real-time ray tracing of dynamic ... LBVH algorithm [LGS*09] and SAH-optimized HLBVH uses a new combination of HLBVH...

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

• MuShROOM

• Referenced in 15 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 15 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...

• ODYS QP Solver

• Referenced in 1 article [sw38481]
• optimized for problems arising in real-time embedded optimization and embedded MPC. It supports general...

• Soda

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

• OpEn

• Referenced in 1 article [sw41781]
• source code generation tool for real-time embedded nonconvex optimization, which implements a novel numerical...

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