• ddesd

  • Referenced in 20 articles [sw35136]
  • inexpensive estimates of both the local error and the size of the residual. We then ... reliable results for these difficult problems, the code estimates and controls the size ... DDEs, even those with complications like event location and restarts...
  • Zoltar

  • Referenced in 4 articles [sw26818]
  • Locating software components which are responsible for observed failures is the most expensive, error-prone ... infrastructure to automatically instrument the source code of software programs to produce runtime data, which...
  • HypoDD

  • Referenced in 1 article [sw32847]
  • earthquake location algorithm of Waldhauser & Ellsworth (2000). The program package includes source codes, user guide ... file below, BugList_1.3, lists errors found in the current version (HypoDD_1.3) and tells...
  • MDSimAid

  • Referenced in 2 articles [sw30363]
  • scalability of these methods within a given error tolerance. MDSIMAID performs a run time constrained ... Python source code are accessible through a Web portal located at http://mdsimaid.cse.nd.edu...
  • SPiDER

  • Referenced in 3 articles [sw00900]
  • execution behavior, and to detect and locate programming errors. More sophisticated debugging systems also ... sequence together with the associated source code location. Array values can be stored at individual...
  • L2CXCV

  • Referenced in 2 articles [sw26952]
  • smoothing to data values contaminated by random errors subject to one sign change ... differences of the smoothed values, where the location of the sign change is also unknown ... allows some efficient updating procedures. The entire code required to implement the method...
  • MORPHY

  • Referenced in 1 article [sw20031]
  • program called MORPHY is presented. This code performs an automated topological analysis of a molecular ... charge density and its Laplacian can be located in a robust and economic ... expressions for interatomic surfaces are computed (with error estimates) and plotted. MORPHY is interfaced with...
  • CharmFL

  • Referenced in 1 article [sw39990]
  • most time-consuming and error-prone parts of software debugging. There are several tools ... classes). Thus, our proposed tool supports different code coverage types with the possibility to investigate ... could help developers to efficiently find the locations of different types of faults in their...
  • CMGC

  • Referenced in 1 article [sw35392]
  • expression. After decomposition, these sub-solids are located on only one side of their natural ... geometry input files for several Monte Carlo codes. The reliability of the CMGC was evaluated ... complex models and calculating the relative volume errors. Moreover, JMCT was used to test...
  • Lalr

  • Referenced in 1 article [sw36321]
  • written in extended BNF, includes automatic error reporting, recovery, and repair, and gener- ates parsers ... items in order to aid the location of the problem. The parsers ... show how software engineering methods like pseudo code and stepwise refinement can turn a parsing...
  • AutoGrader

  • Referenced in 0 articles [sw30353]
  • program spectrum to obtain possible defect locations in the program. Secondly, the candidate-generation method ... correct sentence structure of the wrong program error point. These two ways improve the quality ... ensure the correctness of the synthesized code. Based on the above methods, the prototype tool...
  • ANSYS

  • Referenced in 703 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CGAL

  • Referenced in 384 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • C-XSC

  • Referenced in 110 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • KNITRO

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

  • Referenced in 1695 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Maple

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

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