• PETSc

  • Referenced in 1593 articles [sw04012]
  • building blocks for the implementation of large-scale application codes on parallel (and serial) computers ... parallel linear, nonlinear equation solvers and time integrators that may be used in application codes...
  • Tom

  • Referenced in 26 articles [sw09814]
  • rewriting techniques and their integration in large scale applications. Powerful matching capabilities along with...
  • Theano

  • Referenced in 97 articles [sw05894]
  • multi-dimensional arrays efficiently. Theano features tight integration with numpy, transparent ... self-verification. Theano has been powering large-scale computationally intensive scientific investigations since...
  • LabVIEW

  • Referenced in 57 articles [sw04369]
  • graphical programming and unprecedented hardware integration to rapidly design and deploy measurement and control systems ... platform, engineers scale from design to test and from small to large systems while reusing...
  • DiVer

  • Referenced in 10 articles [sw01938]
  • based model checking platform for verifying large scale systems. We present a SAT-based model ... scalable algorithms that are tightly integrated for verifying large scale industry designs. DiVer houses various...
  • PLINK

  • Referenced in 68 articles [sw04581]
  • perform a range of basic, large-scale analyses in a computationally efficient manner. The focus ... calls from raw data). Through integration with gPLINK and Haploview, there is some support...
  • PetIGA

  • Referenced in 63 articles [sw12420]
  • range of problem sizes, including large-scale simulations where high performance parallel is a must ... adds the NURBS discretization capability and the integration of forms. The PetIGA framework is intended...
  • GridFlow

  • Referenced in 18 articles [sw08435]
  • mainstream technology for large-scale distributed resource sharing and system integration. Workflow management is emerging...
  • WILMAR

  • Referenced in 3 articles [sw01020]
  • issue of system stability, i.e. the wind integration aspects connected to the fast (below ... case studies especially selected for large-scale integration of renewable energy generation and with expected ... stability problems. Secondly the wind integration ability of large electricity systems with substantial amounts...
  • OverFeat

  • Referenced in 22 articles [sw17857]
  • integrated framework is the winner of the localization task of the ImageNet Large Scale Visual...
  • KIOPS

  • Referenced in 14 articles [sw30345]
  • appear in exponential integrators. This algorithm is suitable for large-scale problems in computational physics ... significantly reduces the computational complexity of exponential integrators. Our numerical experiments demonstrate that KIOPS outperforms...
  • Expint

  • Referenced in 61 articles [sw07150]
  • general linear type. A large number of integrators are included in this package along with ... exponential integrators, and the approach taken here is through a modification of the scaling...
  • SLIQ

  • Referenced in 51 articles [sw11759]
  • thus limiting their suitability for data mining large data sets. This paper discusses issues ... tree-growth phase. This sorting procedure is integrated with a breadth-first tree growing strategy ... these techniques enables SLIQ to scale for large data sets and classify data sets irrespective...
  • ParAFEMCap

  • Referenced in 2 articles [sw12734]
  • techniques in very large scale integration design that has been widely used to build ... method (AFEM) for capacitance extraction of large-scale interconnects (ParAFEMCap) is developed to provide extremely ... integral-equation methods, which make it very promising for capacitance extraction of large-scale interconnect...
  • MLPart

  • Referenced in 2 articles [sw08415]
  • computer-aided design of very large-scale-integrated circuits. We formulate the problem...
  • FEAST

  • Referenced in 92 articles [sw04025]
  • from the density-matrix representation and contour integration technique in quantum mechanics. It is free ... augment numerical performances and capabilities in large-scale modern applications...
  • RAPTOR

  • Referenced in 20 articles [sw09002]
  • threading problem is formulated as a large scale integer programming (IP) problem. The IP formulation ... time, the relaxed linear programs generate integral solutions directly. Our algorithm has been implemented ... Protein Threading by Operation Research technique. Large scale benchmark test for fold recognition shows that...
  • Tethys

  • Referenced in 1 article [sw27250]
  • also a common problem when integrating large scale economic and integrated assessment models with high...
  • FAST-PT

  • Referenced in 14 articles [sw41222]
  • algorithm to calculate convolution integrals of general tensor quantities in cosmological perturbation theory. Cosmological perturbation ... tool to predict the statistics of large-scale structure in the weakly non-linear regime ... results in computationally expensive mode-coupling integrals. Here we present a fast algorithm for computing...
  • ImmunoGrid

  • Referenced in 2 articles [sw15735]
  • ImmunoGrid, an integrative environment for large-scale simulation of the immune system for vaccine discovery ... igrid-ext.cryst.bbk.ac.uk/immunogrid>. ImmunoGrid, an integrative environment for large-scale simulation of the immune system...