- Referenced in 1626 articles
- 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...
- Referenced in 660 articles
- Maude is a high-performance reflective language and system supporting both equational and rewriting logic...
- Referenced in 553 articles
- comprehensive library of finite elements, high performance linear algebra and many more...
- Referenced in 496 articles
- high-performance theorem prover being developed at Microsoft Research.Z3 supports linear real and integer arithmetic...
- Referenced in 404 articles
- LAPACK. It is a library of high-performance linear algebra routines for distributed memory message...
- Referenced in 271 articles
- implementation of this language, featuring a high-performance native-code compiler (ocamlopt) for 9 processor...
- Referenced in 269 articles
- package PARDISO is a thread-safe, high-performance, robust, memory efficient and easy...
- Referenced in 200 articles
- high-performance, portable C++ library providing data structures and algorithms for manipulating signed, arbitrary length...
- Referenced in 197 articles
- instantiation of a new paradigm in high performance library production and maintenance, which we term...
- Referenced in 189 articles
- algorithmical ideas in combination with high performance computational techniques. FEATFLOW is designed for the following...
- Referenced in 171 articles
- nonsymmetric systems of linear equations on high performance machines. The library is written...
- Referenced in 147 articles
- efficiency in scientific computations and supports high-performance computing applications...
- Referenced in 119 articles
- SETHEO: A high-performance theorem prover. The paper deals with a theoretical background and practical...
- Referenced in 118 articles
- 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...
- Referenced in 81 articles
- 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...
- Referenced in 78 articles
- 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...
- Referenced in 78 articles
- 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...
- Referenced in 98 articles
- source licenses have produced high-quality, high-performance code---code on which much...
- Referenced in 95 articles
- ANSYS CFX software is a high-performance, general purpose fluid dynamics program that has been ... accurate solutions quickly and robustly. The modern, highly parallelized solver is the foundation...
- Referenced in 90 articles
- Wisconsin in Madison run on distributed high-performance machines enabled by the HTCondor software; remote...