• BaPCod

  • Referenced in 20 articles [sw09871]
  • algorithm. The specificity of this prototype is to offer a “black-box” implementation ... subproblem but the user can upload a specific subproblem solver; a branching scheme that preserves...
  • DryVR

  • Referenced in 2 articles [sw28120]
  • black-box simulator, a white-box transition graph, a time bound and a safety specification ... system meets the given bounded safety specification, or it returns “Unsafe” with a counter-example ... takes as input black-box simulator(s) and a reach-avoid specification, and uses RRTs...
  • Backflip

  • Referenced in 2 articles [sw37683]
  • models the KEM with some black-box (“ideal”) primitives. Specifically, the decapsulation invokes an ideal...
  • LASSIE

  • Referenced in 1 article [sw29330]
  • Results: LASSIE is a “black-box” GPU-accelerated deterministic simulator, specifically designed for large-scale...
  • mlrMBO

  • Referenced in 9 articles [sw19214]
  • which addresses the problem of expensive black-box optimization by approximating the given objective function ... replaced or adapted by the user for specific use cases, e.g., any regression learner from...
  • CoVEGI

  • Referenced in 0 articles [sw39828]
  • novel tools as black-box components in verification. Specifically, cooperation is employed for the core...
  • TESTINT

  • Referenced in 1 article [sw36991]
  • algorithmic framework to solve black-box problems with integer variables. The strategy included ... framework makes use of specific search directions (so called primitive directions) and a suitably developed ... state-of-the-art solvers for black-box integer optimization...
  • ALIAS

  • Referenced in 2 articles [sw25466]
  • instances. Here by a backdoor for a specific SAT solver and SAT formula we mean ... backdoor is viewed as a black-box optimization problem. The tool’s modular structure allows...
  • changepointsHD

  • Referenced in 1 article [sw26719]
  • estimating change-points given user specified black-box models. The methods include binary segmentation ... Gaussian graphical models, an application specific rank-one update implementation. Additionally, code for estimating Gaussian...
  • LSTMVis

  • Referenced in 3 articles [sw27157]
  • sequence modeling that learn a dense black-box hidden representation of their sequential input. Researchers ... cases of the tool for analyzing specific hidden state properties on dataset containing nesting, phrase...
  • Gremlins

  • Referenced in 1 article [sw38950]
  • overall). Its primary purpose is for black-box long-lived testing of a distributed system ... instrumentation. The idea is not to trigger specific error cases, but to simulate generally faulty...
  • AutoDBT

  • Referenced in 1 article [sw36764]
  • AutoDBT), that extends the functional or black-box testing of a web database application ... pages in the application, and a data specification which captures how data flows...
  • Cuneiform

  • Referenced in 1 article [sw26049]
  • scientific data analysis. Implementing a strict black-box view on external operators and data ... semantics of evaluation. Providing an unambiguous specification of the behavior of Cuneiform eases the implementation ... language’s safety up to black-box operators. Last, the formulation of the semantics also...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • iOpt

  • Referenced in 8 articles [sw00448]
  • iOpt: A software toolkit for heuristic search methods...
  • KNITRO

  • Referenced in 197 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • PELLPACK

  • Referenced in 20 articles [sw00698]
  • This article presents the software architecture and implementation...