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