Results 1 to 12 of 12
Sort by:

  • 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...