
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]
 threadsafe, highperformance, robust, memory efficient and easy to use software for solving large ... symmetric and unsymmetric linear systems of equations on sharedmemory and distributedmemory 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 distributedmemory 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 multiprocessor systems, and it makes effective...

LAPACK
 Referenced in 1642 articles
[sw00503]
 linear equations, leastsquares solutions of linear systems of equations, eigenvalue problems, and singular value ... LINPACK libraries run efficiently on sharedmemory 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 righthand 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]
 leastsquares problems. The package solves linear systems whose matrices are general, banded, symmetric indefinite ... been designed to run efficiently on sharedmemory, 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 fillin, 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...

SECDED
 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 byteorganized computer memory systems against transient, intermittent, and permanent failures...

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

Chapel
 Referenced in 20 articles
[sw31978]
 supports localityoriented features for distributed memory systems; opensource: 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 virtualmemory 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 memorybased systems and two systems with persistent storage...

SLAyer
 Referenced in 19 articles
[sw09712]
 SLAyer: Memory Safety for SystemsLevel 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 cachebased memory systems and because performance is highly dependent...