• LAPACK

  • Referenced in 1586 articles [sw00503]
  • much as possible of the computation is performed by calls to the Basic Linear Algebra ... promotes high efficiency on many high-performance computers, particularly if specially coded implementations are provided ... BLAS are available for many modern high-performance computers. For details of known vendor...
  • Maude

  • Referenced in 652 articles [sw06233]
  • Maude is a high-performance reflective language and system supporting both equational and rewriting logic...
  • z3

  • Referenced in 475 articles [sw04887]
  • high-performance theorem prover being developed at Microsoft Research.Z3 supports linear real and integer arithmetic...
  • ScaLAPACK

  • Referenced in 396 articles [sw00830]
  • LAPACK. It is a library of high-performance linear algebra routines for distributed memory message...
  • OCaml

  • Referenced in 267 articles [sw06363]
  • implementation of this language, featuring a high-performance native-code compiler (ocamlopt) for 9 processor...
  • PARDISO

  • Referenced in 257 articles [sw00679]
  • package PARDISO is a thread-safe, high-performance, robust, memory efficient and easy...
  • NTL

  • Referenced in 194 articles [sw00638]
  • high-performance, portable C++ library providing data structures and algorithms for manipulating signed, arbitrary length...
  • DUNE

  • Referenced in 129 articles [sw01466]
  • efficiency in scientific computations and supports high-performance computing applications...
  • SETHEO

  • Referenced in 119 articles [sw00707]
  • SETHEO: A high-performance theorem prover. The paper deals with a theoretical background and practical...
  • COIN-OR

  • Referenced in 96 articles [sw04615]
  • source licenses have produced high-quality, high-performance code---code on which much...
  • ANSYS-CFX

  • Referenced in 94 articles [sw06391]
  • ANSYS CFX software is a high-performance, general purpose fluid dynamics program that has been...
  • CLAPACK

  • Referenced in 89 articles [sw03112]
  • wide range of modern high-performance computers. Intended to be the successor to LINPACK...
  • NEOS

  • Referenced in 89 articles [sw13740]
  • Wisconsin in Madison run on distributed high-performance machines enabled by the HTCondor software; remote...
  • seL4

  • Referenced in 78 articles [sw15222]
  • that the implementation always strictly follows our high-level abstract specification of kernel behaviour. This ... will never crash, and it will never perform an unsafe operation. It also proves much ... performance is comparable to other high-performance L4 kernels...
  • NAMD

  • Referenced in 77 articles [sw03198]
  • parallel molecular dynamics code designed for high-performance simulation of large biomolecular systems. Based...
  • FEAST

  • Referenced in 74 articles [sw04025]
  • FEAST solver package is a free high-performance numerical library for solving the standard...
  • WSMP

  • Referenced in 47 articles [sw06749]
  • WSMP: A high-performance serial and parallel sparse linear solver. Watson Sparse Matrix Package (WSMP ... whose coefficient matrices are sparse. This high-performance, robust, and easy-to-use software...
  • Algorithm 679

  • Referenced in 63 articles [sw12583]
  • portable, implementations of algorithms on high-performance computers. The model implementation provides a portable...
  • TAO

  • Referenced in 42 articles [sw10597]
  • solution of large optimization problems on high-performance parallel architectures. Our case study uses ... available for a wide range of high-performance architectures and has been tested on problems...
  • SimpleScalar

  • Referenced in 57 articles [sw12226]
  • tools that offer both detailed and high-performance simulation of modern microprocessors. The new release...