• GYSELA

  • Referenced in 44 articles [sw17825]
  • cylinder (r,θ,z). The code validation is performed with the slab ITG mode that ... only depends on the parallel velocity. This code uses a semi-Lagrangian numerical scheme, which ... fine spatial scales. The code has been validated in the linear and non-linear regimes...
  • Cohn-Kanade

  • Referenced in 61 articles [sw04974]
  • Ekman, Friesen, & Hager, 2002; Ekman & Friesen, 1979) coded and given an emotion label. The emotion ... what may actually have been performed. For validated emotion labels, please use version ... each sequence is fully FACS coded. In addition validated emotion labels have been added...
  • CVT

  • Referenced in 17 articles [sw09952]
  • code validation tool (CVT). Automatic verification of a compilation process. We describe CVT -- a fully ... automatic tool for code validation, i.e., verifying that the target code produced by a code ... advantage of not “freezing” the code generator design after verification. CVT was developed ... context of the ESPRIT project SACRES, and validates the translation from StateMate/Sildex mixed specification into...
  • CVC4

  • Referenced in 125 articles [sw09485]
  • Validity Checker family of tools (CVC, CVC Lite, CVC3) but does not directly incorporate code...
  • KIVA-4

  • Referenced in 27 articles [sw02561]
  • space using the finite-volume technique. The code uses an implicit time-advancement with ... Courant conditions. The range of validity of the code extends from low speeds to supersonic...
  • OpenGeoSys

  • Referenced in 24 articles [sw09098]
  • developer teams, for example, for code comparison and validation purposes (DEVOVALEX and CO2 BENCH projects ... provides a suitable framework for distributed code development; however, the parallelization of OO codes still...
  • Dowd

  • Referenced in 32 articles [sw25415]
  • entirely valid. As ’Dowd’s’ code was not intended to be error free and were...
  • BVPh

  • Referenced in 217 articles [sw06575]
  • applications. Part III shows the validity of the HAM for nonlinear PDEs, such ... illustrating the originality of the HAM. Mathematica codes are freely available online to make...
  • preCICE

  • Referenced in 27 articles [sw08713]
  • adapters for in-house codes can be implemented and validated in only a few weeks...
  • gevolution

  • Referenced in 16 articles [sw42407]
  • large scale structure in the Universe. Our code is based on a weak field expansion ... valid also for relativistic particles. We validate the code by considering the Schwarzschild solution...
  • WhiskyMHD

  • Referenced in 16 articles [sw01983]
  • relativistic magnetohydrodynamics. We present a new numerical code developed to solve the full ... series of testbeds carried out to validate the code and assess its accuracy. Such tests...
  • Algorithm 838

  • Referenced in 15 articles [sw04464]
  • module can be used to validate other codes or as a component in programs that...
  • dsmcFoam

  • Referenced in 35 articles [sw06380]
  • results of validation of an open source Direct Simulation Monte Carlo (DSMC) code for general...
  • ORB5

  • Referenced in 12 articles [sw10369]
  • numerical convergence tests are performed. The code is validated against an analytical theory of zonal ... acoustic oscillations and damping, and against other codes for a selection of linear and nonlinear...
  • BLAST

  • Referenced in 129 articles [sw02937]
  • entry point (main function) by a valid execution. Verification of safety properties may be reduced ... Driver Verification project. You may download source code or binary releases of BLAST for Linux...
  • InterFOAM

  • Referenced in 39 articles [sw09035]
  • validation tests of specific interest to the users of the code and the extent...
  • MUI

  • Referenced in 12 articles [sw18209]
  • simultaneously improve runtime performance and code flexibility. We validated the library by solving three different...
  • AX-GADGET

  • Referenced in 5 articles [sw41501]
  • analytical predictions and results of other codes, validating the QP as a crucial player...
  • GOAHEAD

  • Referenced in 5 articles [sw18193]
  • Helicopter Experimental Aerodynamic Database for CFD code validation. Today leading edge CFD (computational fluid dynamics...
  • EUROVAL

  • Referenced in 11 articles [sw02124]
  • EUROVAL - An European initiative on validation of CFD codes. Results of the EC/BRITE-EURAM project EUROVAL...