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