• Python

  • Referenced in 1486 articles [sw14460]
  • features a dynamic type system and automatic memory management and has a large and comprehensive ... available for installation on many operating systems, allowing Python code execution on a wide variety...
  • PARDISO

  • Referenced in 270 articles [sw00679]
  • thread-safe, high-performance, robust, memory efficient and easy to use software for solving large ... symmetric and unsymmetric linear systems of equations on shared-memory and distributed-memory multiprocessors ... library version: Unsymmetric, structurally symmetric or symmetric systems, real or complex, positive definite or indefinite...
  • ScaLAPACK

  • Referenced in 404 articles [sw00830]
  • shared memory parallel computers. Both libraries contain routines for solving systems of linear equations, least ... solution of dense, band, and tridiagonal linear systems of equations, condition estimation and iterative refinement ... portable across a wide range of distributed-memory environments such as the Cray ... clusters of workstations, and any system for which PVM or MPI is available.\parEach Users...
  • CSDP

  • Referenced in 200 articles [sw00169]
  • runs in parallel on shared memory multi-processor systems, and it makes effective...
  • LAPACK

  • Referenced in 1642 articles [sw00503]
  • linear equations, least-squares solutions of linear systems of equations, eigenvalue problems, and singular value ... LINPACK libraries run efficiently on shared-memory vector and parallel processors. On these machines, LINPACK ... each architecture to account for the memory hierarchy, and so provide a transportable ... matrix multiplication and the solution of triangular systems with multiple right-hand sides. Because...
  • FORM

  • Referenced in 316 articles [sw09051]
  • system (CAS) for very big calculations in theoretical particle physics, with a very small memory...
  • NTRU

  • Referenced in 160 articles [sw11761]
  • memory requirements. NTRU encryption and decryption use a mixing system suggested by polynomial algebra combined...
  • LINPACK

  • Referenced in 514 articles [sw04209]
  • least-squares problems. The package solves linear systems whose matrices are general, banded, symmetric indefinite ... been designed to run efficiently on shared-memory, vector supercomputers...
  • ATERM

  • Referenced in 43 articles [sw03160]
  • taken advantage of by the memory management system. We explain how we designed and implemented...
  • UMFPACK

  • Referenced in 369 articles [sw00989]
  • upper bound on fill-in, work, and memory usage during the subsequent numerical factorization. User ... matrix, computing the numerical factorization, solving a system with the LU factors, transposing and permuting...
  • SEC-DED

  • Referenced in 18 articles [sw03207]
  • partial correction capability for computer memory systems This correspondence proposes three new techniques to construct ... codword that are fed by the same memory chip or card. These codes are useful ... data integrity of byte-organized computer memory systems against transient, intermittent, and permanent failures...
  • StarPU

  • Referenced in 39 articles [sw14216]
  • accelerator-based machines. Our system features a software virtual shared memory that provides a weak ... model. The system keeps track of data copies within accelerator embedded-memories and features ... parallel numerical kernel implementations over our runtime system. We obtain significant speedups and a very...
  • Chapel

  • Referenced in 20 articles [sw31978]
  • supports locality-oriented features for distributed memory systems; open-source: hosted on GitHub, permissively licensed...
  • ViennaCL

  • Referenced in 19 articles [sw06444]
  • investigate the applicability on distributed memory systems by facilitating the Message Passing Interface...
  • gmp

  • Referenced in 269 articles [sw00363]
  • except the ones implied by the available memory in the machine GMP runs ... applications and research, Internet security applications, algebra systems, computational algebra research, etc. GMP is carefully...
  • HSL_MA77

  • Referenced in 15 articles [sw13924]
  • Direct methods for solving large sparse linear systems of equations are popular because of their ... robustness. Their main weakness is that the memory they require usually increases rapidly with problem ... circumvent this limitation by allowing the system matrix, intermediate data, and the matrix factors ... separate package that provides a virtual-memory system and allows the data to be spread...
  • UNITY

  • Referenced in 184 articles [sw13461]
  • independently verify the correctness of the transition systems: one can specify properties formally that ... Time Warp protocol on a distributed memory parallel architecture...
  • LUBM

  • Referenced in 22 articles [sw14975]
  • LUBM can be used to evaluate systems with different reasoning capabilities and storage mechanisms ... this with an evaluation of two memory-based systems and two systems with persistent storage...
  • SLAyer

  • Referenced in 19 articles [sw09712]
  • SLAyer: Memory Safety for Systems-Level Code. SLAyer is a program analysis tool designed ... automatically prove memory safety of industrial systems code. In this paper we describe SLAyer...
  • Sparsity

  • Referenced in 13 articles [sw08686]
  • complexity of cache-based memory systems and because performance is highly dependent...