• HSL

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

  • Referenced in 59 articles [sw05894]
  • verification. Theano has been powering large-scale computationally intensive scientific investigations since...
  • Harwell-Boeing sparse matrix collection

  • Referenced in 208 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 41 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 30 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 6 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...
  • GATK

  • Referenced in 11 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...
  • 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...
  • 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...
  • SOFAR

  • Referenced in 3 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...
  • 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...
  • 3DEX

  • Referenced in 2 articles [sw20421]
  • precision cosmology requires the analysis of large-scale surveys in 3D spherical coordinates, i.e. spherical ... data in spherical coordinates in other scientific fields. We present an equivalent formulation ... tests on very large simulations and we compare the precision and computation time...
  • TADSim

  • Referenced in 0 articles [sw20723]
  • temperature-accelerated dynamics. Next-generation high-performance computing will require more scalable and flexible performance ... software--hardware co-design choices relevant to scientific applications and hardware architectures. We present ... simulators—parameterized fast-running proxies of large-scale scientific applications using parallel discrete event simulation ... application is captured without the computational expense and resource usage of the full code...