• PETSc

  • Referenced in 1092 articles [sw04012]
  • Fortran, C, C++, Python, and MATLAB (sequential). PETSc provides many of the mechanisms needed within ... However, the power of the PETSc design and the algorithms it incorporates may make...
  • tgp

  • Referenced in 33 articles [sw07921]
  • projection and slice capabilities) and tree drawing, designed for visualization of tgp-class output. Sensitivity ... multi-resolution models are supported. Sequential experimental design and adaptive sampling functions are also provided...
  • GloMoSim

  • Referenced in 60 articles [sw13764]
  • library based parallel and sequential network simulators have been designed. The paper describes a library...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • designer of an application. The strategy language offers primitives for sequential composition, iteration, deterministic...
  • CESAR

  • Referenced in 154 articles [sw08510]
  • CESAR, an interactive system for aiding the design of distributed applications. CESAR allows the progressive ... algorithmic description of a system of communicating sequential processes with respect to a given...
  • SNOPT

  • Referenced in 495 articles [sw02300]
  • algorithm for large-scale constrained optimization. Sequential quadratic programming (SQP) methods have proved highly effective ... solving the QP subproblems. It is designed for problems with many thousands of constraints...
  • Dafny

  • Referenced in 62 articles [sw00183]
  • designed to support the static verification of programs. It is imperative, sequential, supports generic classes...
  • gsDesign

  • Referenced in 4 articles [sw09316]
  • package gsDesign: Group Sequential Design. gsDesign is a package that derives group sequential designs...
  • EaSt

  • Referenced in 13 articles [sw14056]
  • EaSt 2000: Software for Design and Monitoring of Group Sequential Clinical Trials...
  • dynaTree

  • Referenced in 4 articles [sw07923]
  • Dynamic trees for learning and design Inference by sequential Monte Carlo for dynamic tree regression ... classification models with hooks provided for sequential design and optimization, fully online learning with drift...
  • clinfun

  • Referenced in 4 articles [sw24179]
  • Simon 2-stage and group sequential designs and for data analysis such as Jonckheere-Terpstra...
  • KRATOS

  • Referenced in 7 articles [sw07808]
  • relying on the translation from SystemC designs to sequential C programs, Kratos is capable...
  • SMAC

  • Referenced in 53 articles [sw27215]
  • SMAC: Sequential Model-based Algorithm Configuration. SMAC (sequential model-based algorithm configuration) is a versatile ... Ultimately, we hope that it helps algorithm designers focus on tasks that are more scientifically...
  • JCell

  • Referenced in 19 articles [sw13353]
  • only a sequential version with ssGAs in the islands). The design of JCell allows...
  • Groupseq

  • Referenced in 2 articles [sw11591]
  • program to compute probabilities regarding group sequential designs. The package provides a Tcl/Tk-based graphical user ... enables the construction of group sequential designs based on normally distributed test statistics, and particularly...
  • ManySAT

  • Referenced in 30 articles [sw00544]
  • parallel SAT solver, is thoroughly described. The design of ManySAT benefits from the main weaknesses ... robustness. ManySAT uses a portfolio of complementary sequential algorithms obtained through careful variations ... standard DPLL algorithm. Additionally, each sequential algorithm shares clauses to improve the overall performance ... most of the parallel SAT solvers generally designed using the divide-and-conquer paradigm. Experiments...
  • BayesOpt

  • Referenced in 5 articles [sw12003]
  • Bayesian optimization library for nonlinear optimization, experimental design and bandits. BayesOpt is a library with ... solve nonlinear optimization, stochastic bandits or sequential experimental design problems. Bayesian optimization characterized for being...
  • BoomerAMG

  • Referenced in 144 articles [sw00086]
  • coarse-grid selection, in particular, is fundamentally sequential in nature. We have previously introduced ... algorithms and the application of heuristic designed to insure the quality of the coarse grids...
  • StateFlow

  • Referenced in 38 articles [sw04350]
  • environment for modeling and simulating combinatorial and sequential decision logic based on state machines ... external input signals. With Stateflow you can design logic for supervisory control, task scheduling...
  • WORHP

  • Referenced in 15 articles [sw10824]
  • WORHP has been designed from its core foundations as a sparse sequential quadratic programming ... high robustness and its application-driven design and development philosophy. Two large-scale optimization problems...