• MIRKDC

  • Referenced in 36 articles [sw07159]
  • Runge-Kutta software defect control for boundary value ODEs. Mono-implicit Runge-Kutta (MIRK) formulas ... issues (modified Newton iteration, use of defect control instead of the standard global error control...
  • PMIRKDC

  • Referenced in 32 articles [sw06409]
  • mono-implicit Runge-Kutta code with defect control for boundary value ODEs We describe parallel ... implicit Runge-Kutta schemes within a defect control algorithm. The primary computational costs involve ... systems and solution interpolants, and defect estimation. Numerical results show almost linear speedups...
  • BEASY

  • Referenced in 34 articles [sw01168]
  • computer simulation for Corrosion Control, Galvanic Corrosion, Signature Management, Defect Assessment and Crack Growth Simulation...
  • BVP_SOLVER

  • Referenced in 2 articles [sw17492]
  • VALUE ORDINARY DIFFERENTIAL EQUATIONS WITH DEFECT AND GLOBAL ERROR CONTROL...
  • CodeSonar

  • Referenced in 2 articles [sw16481]
  • static memory, resource management, concurrency, and other defects. By analyzing both source code and binaries ... analyze complete applications, enabling you to take control of your software supply chain and eliminate ... most costly and hard-to-find defects early in the application development lifecycle. CodeSonar extends...
  • PhenomeNET

  • Referenced in 1 article [sw16932]
  • pathway controlling cardiac morphogenesis and electrical conductivity which, when defective, cause the tetralogy of Fallot...
  • TeaBag

  • Referenced in 6 articles [sw08980]
  • handling of nondeterminism, the ability to control non-deterministic steps, to remove context information ... describe a short debugging session of a defective program to show in action debugger features...
  • spc4sts

  • Referenced in 1 article [sw31342]
  • Stochastic Textured Surfaces. Provides statistical process control tools for stochastic textured surfaces. The current version ... modeling of stochastic textured surfaces. (2) local defect monitoring and diagnostics in stochastic textured surfaces...
  • IPFViewer

  • Referenced in 0 articles [sw35266]
  • data collected about nonmetallic inclusions and other defects in steel samples. We have highlighted parts ... detect outliers in routine quality control...
  • ANSYS

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

  • Referenced in 196 articles [sw00086]
  • BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
  • C-XSC

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

  • Referenced in 127 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • GAP

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

  • Referenced in 767 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • hypre

  • Referenced in 329 articles [sw00426]
  • hypre is a software library for the solution...
  • LANCELOT

  • Referenced in 306 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...
  • LAPACK

  • Referenced in 1702 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Macaulay2

  • Referenced in 1923 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...