• LAPACK

  • Referenced in 1713 articles [sw00503]
  • provide a transportable way to achieve high efficiency on diverse modern machines ... portable” because, for fastest possible performance, LAPACK requires that highly optimized block matrix operations ... 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...
  • FEniCS

  • Referenced in 856 articles [sw04314]
  • comprehensive library of finite elements, high performance linear algebra and many more...
  • Maude

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

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

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

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

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

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

  • Referenced in 209 articles [sw04254]
  • algorithmical ideas in combination with high performance computational techniques. FEATFLOW is designed for the following...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • instantiation of a new paradigm in high performance library production and maintenance, which we term...
  • SuperLU

  • Referenced in 196 articles [sw00930]
  • nonsymmetric systems of linear equations on high performance machines. The library is written...
  • DUNE

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

  • Referenced in 179 articles [sw04184]
  • Platform (SNAP) is a general purpose, high performance system for analysis and manipulation of large...
  • Julia

  • Referenced in 490 articles [sw13986]
  • They are generally considered highly productive, but lacking in performance. This paper presents Julia...
  • GSA

  • Referenced in 136 articles [sw40815]
  • methods. The obtained results confirm the high performance of the proposed method in solving various...
  • FEAST

  • Referenced in 92 articles [sw04025]
  • FEAST solver package is a free high-performance numerical library for solving the standard ... offers many important capabilities for achieving high performance, robustness, accuracy, and scalability on parallel architectures...
  • OpenMPI

  • Referenced in 91 articles [sw13111]
  • High Performance Message Passing Library. The Open MPI Project is an open source Message Passing ... resources from all across the High Performance Computing community in order to build the best...
  • SETHEO

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

  • Referenced in 118 articles [sw09640]
  • Partitioning Graphs. Before a calculation can be performed on a parallel computer, it must first ... parallel applications, and to ensure that high performance is obtained. Chaco has contributed...
  • Cactus

  • Referenced in 81 articles [sw04422]
  • such frameworks to support multi-platform, high performance applications across diverse communities. We then describe ... complete rewrite of earlier versions, which enables highly modular, multi-language, parallel applications ... interchangeable parallel data distribution and high performance IO layers, while hiding most details...