• HSL

  • Referenced in 274 articles [sw00418]
  • packages for large-scale scientific computation written and developed by the Numerical Analysis Group...
  • Theano

  • Referenced in 79 articles [sw05894]
  • verification. Theano has been powering large-scale computationally intensive scientific investigations since...
  • Harwell-Boeing 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 large-scale 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 large-scale 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 large-scale 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, large-scale numerical experiments with problem...
  • AmrLib

  • Referenced in 2 articles [sw23293]
  • develops and applies advanced computational methodologies to solve large-scale scientific and engineering problems arising ... target current and next-generation 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 large-scale 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 large-scale, large-grain MAS, we created...
  • ACDP

  • Referenced in 1 article [sw34572]
  • ingredients of the scientific computing toolbox over the past decades. Large-scale 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, scale-tolerant tools like coverage calculators and single ... which have already been incorporated into large-scale 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 large-scale 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...
  • ppOpen-HPC

  • Referenced in 1 article [sw18700]
  • execution of large-scale scientific applications on post-peta-scale (pp) supercomputers with automatic tuning ... ppOpen-HPC focuses on parallel computers based on many-core 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 large-scale scientific data analysis. Implementing a strict black ... data-parallel 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. Large-scale MPI programs also employ shared memory threads ... capitalizing on the recent availability of small-scale (e.g. single-chip) shared memory multiprocessors; such ... software model-checking applied to scientific computing software development and verification...
  • SOFAR

  • Referenced in 4 articles [sw31665]
  • efficiency and scientific insights can be enabled by understanding the large-scale response-predictor 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 large-scale 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 large-scale computing on a cluster system. Despite its popularity ... accelerated MapReduce processing on array-based scientific computing and image processing tasks. Vispark provides...
  • FemaxxNano

  • Referenced in 1 article [sw16819]
  • large-scale 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 distributed-memory 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 shift-invert Lanczos to compute interior eigenvalues. The performance and resource usage ... When the factorization is performed on large-scale distributed memory platforms, communication cost is critical...