• Code_Saturne

  • Referenced in 46 articles [sw06674]
  • Code_Saturne solves the Navier-Stokes equations for 2D, 2D-axisymmetric and 3D flows, steady...
  • CAELinux

  • Referenced in 1 article [sw05699]
  • Aster non-linear/multi-physics FE solver, Code-Saturne and OpenFOAM CFD solvers, Elmer multiphysics suite...
  • Sharpchecker

  • Referenced in 0 articles [sw36423]
  • Bounded Model Checking (BMC) and the Saturn Software Analysis Project. A memory model is described ... thousand to 1.35 million lines of code...
  • Saturn

  • Referenced in 8 articles [sw01297]
  • Saturn: A SAT-based tool for bug detection...
  • METIS

  • Referenced in 467 articles [sw04089]
  • METIS is a set of serial programs for...
  • OpenFOAM

  • Referenced in 551 articles [sw04317]
  • The OpenFOAM® (Open Field Operation and Manipulation) CFD...
  • MGNet

  • Referenced in 4 articles [sw09670]
  • This is a repository for information related to...
  • FELICITY

  • Referenced in 19 articles [sw12294]
  • FELICITY: Finite Element Implementation and Computational Interface Tool...
  • StarPU

  • Referenced in 40 articles [sw14216]
  • StarPU: A unified platform for task scheduling on...
  • DAGuE

  • Referenced in 12 articles [sw20709]
  • DAGuE: A generic distributed DAG engine for High...
  • OmpSs

  • Referenced in 15 articles [sw24813]
  • The OmpSs Programming Model. OmpSs is an effort...