• LAPACK

  • Referenced in 1701 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 829 articles [sw04314]
  • comprehensive library of finite elements, high performance linear algebra and many more...
  • Maude

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

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

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

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

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

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

  • Referenced in 203 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 194 articles [sw00930]
  • nonsymmetric systems of linear equations on high performance machines. The library is written...
  • DUNE

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

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

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

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

  • Referenced in 90 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...
  • SETHEO

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

  • Referenced in 117 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...
  • OpenMPI

  • Referenced in 83 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...
  • 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...