
HSL
 Referenced in 274 articles
[sw00418]
 packages for largescale scientific computation written and developed by the Numerical Analysis Group...

Theano
 Referenced in 79 articles
[sw05894]
 verification. Theano has been powering largescale computationally intensive scientific investigations since...

HarwellBoeing sparse matrix collection
 Referenced in 213 articles
[sw08516]
 eigenvalue calculations from a wide variety of scientific and engineering disciplines. The problems range from ... matrix research, to large test cases arising in largescale computation. We offer the collection...

PetIGA
 Referenced in 52 articles
[sw12420]
 Computation. PETSc is a collection of algorithms and data structures for the solution of scientific ... range of problem sizes, including largescale simulations where high performance parallel is a must ... PDEs who have applications which require extensive computational resources...

APOGEE
 Referenced in 33 articles
[sw08451]
 work globally optimized two classes of largescale pooling problems: a generalized pooling problem treating ... number of binary decision variables that scales linearly with the number of segments ... logarithmic number of binary variables and computationally compare the performance of this new formulation ... unified our work by developing APOGEE, a computational tool that globally optimizes standard, generalized...

FLLOP
 Referenced in 3 articles
[sw29047]
 Extensible Toolkit for Scientific Computation). In the last section, largescale numerical experiments with problem...

AmrLib
 Referenced in 2 articles
[sw23293]
 develops and applies advanced computational methodologies to solve largescale scientific and engineering problems arising ... target current and nextgeneration massively parallel computational architectures. Sample application areas include combustion, porous...

MCFDR
 Referenced in 7 articles
[sw11180]
 biology, as in many other scientific fields, the scale of analyses is ever increasing. Often ... sometimes within a largescale multiple testing setting. The resulting computational costs may be prohibitively...

MACE3J
 Referenced in 3 articles
[sw07178]
 really scales to very large MAS or exploits the power of modern distributed computing environments ... such as large multiprocessor clusters and computational grids. Because of this, and specifically to fulfill ... tools supporting distributed collaborative scientific research in largescale, largegrain MAS, we created...

ACDP
 Referenced in 1 article
[sw34572]
 ingredients of the scientific computing toolbox over the past decades. Largescale parameter sensitivity analysis...

GATK
 Referenced in 16 articles
[sw12019]
 robust analysis tools difficult for even computationally sophisticated individuals. Indeed, many professionals are limited ... ease with which they can answer scientific questions by the complexity of accessing and manipulating ... describing the implementation and application of robust, scaletolerant tools like coverage calculators and single ... which have already been incorporated into largescale sequencing projects like the 1000 Genomes Project...

MathPartner
 Referenced in 3 articles
[sw37531]
 computer algebra system (CAS) and Mathpar programming language thereof. MathPartner can be used for scientific ... acting as a scientific calculator) and complex calculations with largescale mathematical objects. Mathpar ... procedural language; it supports a large number of elementary and special functions, as well ... makes it possible to solve some symbolic computation problems on supercomputers with distributed memory...

ppOpenHPC
 Referenced in 1 article
[sw18700]
 execution of largescale scientific applications on postpetascale (pp) supercomputers with automatic tuning ... ppOpenHPC focuses on parallel computers based on manycore architectures and consists of various...

Cuneiform
 Referenced in 1 article
[sw26049]
 Computation semantics of the functional scientific workflow language cuneiform. Cuneiform ... minimal functional programming language for largescale scientific data analysis. Implementing a strict black ... dataparallel higher order operators for processing large partitioned data sets, allows conditionals and general ... into complex pipelines. This paper introduces the computation semantics for Cuneiform. It presents Cuneiform...

Gauss
 Referenced in 2 articles
[sw08835]
 Utah Gauss project combines expertise from scientific computing and formal methods in addressing this problem ... Message Passing Interface (MPI) library. Largescale MPI programs also employ shared memory threads ... capitalizing on the recent availability of smallscale (e.g. singlechip) shared memory multiprocessors; such ... software modelchecking applied to scientific computing software development and verification...

SOFAR
 Referenced in 4 articles
[sw31665]
 efficiency and scientific insights can be enabled by understanding the largescale responsepredictor association ... sparsity and orthogonality have been two largely incompatible goals. To accommodate both features, in this ... efficient SOFAR algorithm with convergence property. Both computational and theoretical advantages of our procedure...

PICO (part of ACRO)
 Referenced in 1 article
[sw05025]
 that have been developed for largescale engineering and scientific applications. Acro was developed ... solvers included in Acro can exploit parallel computing resources to solve optimization problems more quickly...

Vispark
 Referenced in 2 articles
[sw17471]
 standard computing paradigms for largescale computing on a cluster system. Despite its popularity ... accelerated MapReduce processing on arraybased scientific computing and image processing tasks. Vispark provides...

FemaxxNano
 Referenced in 1 article
[sw16819]
 largescale nonlinear eigensolver for the analysis of dispersive nanostructures. We introduce the electromagnetic eigenmodal ... analysis of nanometer structured optical systems, a scientific field generally know as nanooptics. FemaxxNano solves ... optical antenna, on distributedmemory parallel computers...

symPACK
 Referenced in 1 article
[sw16317]
 equations arise at the heart of many scientific and engineering applications. Many of these linear ... needed in shiftinvert Lanczos to compute interior eigenvalues. The performance and resource usage ... When the factorization is performed on largescale distributed memory platforms, communication cost is critical...