• GAMS

  • Referenced in 866 articles [sw04978]
  • making the setup simple. The system takes care of the time-consuming details...
  • RODES

  • Referenced in 127 articles [sw30194]
  • totalcomputational time in this setting was about 100 hours. Other setups with fewercomputers equipped with...
  • BPSS

  • Referenced in 9 articles [sw33528]
  • priorities; their processing times and setup times are known in advance. We developed a five...
  • Libra

  • Referenced in 5 articles [sw41699]
  • addition Libra features an one-time trusted setup that depends only on the size ... logic. Underlying Libra is a new linear-time algorithm for the prover of the interactive...
  • MUSCOP

  • Referenced in 7 articles [sw06143]
  • optimal control problems (OCPs) constrained by time-periodic partial differential equations (PDEs). The proposed method ... language programming paradigm to minimize setup and solution time for new application problems. We demonstrate...
  • LAMG

  • Referenced in 34 articles [sw06551]
  • graph Laplacian. LAMG’s run time and storage are empirically demonstrated to scale linearly with ... number of edges. LAMG consists of a setup phase, during which a sequence of increasingly...
  • GeoSysBRNS

  • Referenced in 5 articles [sw13424]
  • allows for fast development times for the setup of new scenarios...
  • AUTODYN-3D

  • Referenced in 7 articles [sw03363]
  • graphical interface implemented. Time and effort are saved in problem setup and analysis by automatic...
  • CONTSID

  • Referenced in 37 articles [sw14945]
  • years [17] for identifying linear dynamic continuous-time parametric models from measured input/output sampled data ... been given a similar setup to the SID toolbox; it provides a flexible graphical user...
  • GAMPACK

  • Referenced in 2 articles [sw13441]
  • curiosity to a productivity workhorse by reducing time-to-solution and overall hardware cost ... possible to substantially accelerate both the setup and solve stages. We present GAMPACK, a library ... typically reduce the total setup and solve time by a factor of over 5, when...
  • Parareal

  • Referenced in 6 articles [sw19572]
  • time-parallel Parareal algorithm to a brick and mortar setup, a precursory problem to skin ... convergence. The influence of load imbalances in time due to differences in number of iterations...
  • qpDUNES

  • Referenced in 15 articles [sw13238]
  • well as conveniently from MATLAB. qpDUNES provides setup and solve routines (both cold- and warm ... stage QPs, as well as for linear time-invariant (LTI) and for linear time-varying...
  • HMM

  • Referenced in 4 articles [sw11733]
  • library to setup, apply and make inference with discrete time and discrete space Hidden Markov...
  • Pinocchio

  • Referenced in 42 articles [sw10193]
  • evaluation key to describe her computation; this setup is proportional to evaluating the computation once ... efficient in practice too. Pinocchio’s verification time is typically 10ms: 5-7 orders...
  • CouchDB

  • Referenced in 6 articles [sw11079]
  • incremental replication. CouchDB supports master-master setups with automatic conflict detection. CouchDB comes with ... document transformation and real-time change notifications, that makes web app development a breeze...
  • FeynDyn

  • Referenced in 1 article [sw16780]
  • last moment specified by the grid of times if the user makes this choice). This ... setup of the Feynman integral, and the actual calculation of the Feynman integral for time ... propagation is calculated so quickly that the setup of the Feynman integral can actually become...
  • SL

  • Referenced in 1 article [sw30156]
  • different modes: simulation and real time control. In simulation, new tasks and methods ... setup of potentially dangerous (to the robot or its environment) or time consuming experiments more...
  • AmgX

  • Referenced in 14 articles [sw13440]
  • solution of interest in a reasonable time. In this paper we discuss the design ... shown in the numerical experiments section, both setup and solve phases scale well across multiple...
  • rpi-camera

  • Referenced in 1 article [sw38570]
  • images and time-lapse photography. These studies show that the camera system, setups and scripts...
  • 3D-hit

  • Referenced in 1 article [sw10913]
  • faster processing times, and can be used in a high-throughput setup as the structural...