
PETSc
 Referenced in 1593 articles
[sw04012]
 building blocks for the implementation of largescale 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]
 multidimensional arrays efficiently. Theano features tight integration with numpy, transparent ... selfverification. Theano has been powering largescale 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 SATbased 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, largescale 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 largescale 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 largescale 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 largescale 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 largescale 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 ... treegrowth phase. This sorting procedure is integrated with a breadthfirst 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 largescale interconnects (ParAFEMCap) is developed to provide extremely ... integralequation methods, which make it very promising for capacitance extraction of largescale interconnect...

MLPart
 Referenced in 2 articles
[sw08415]
 computeraided design of very largescaleintegrated circuits. We formulate the problem...

FEAST
 Referenced in 92 articles
[sw04025]
 from the densitymatrix representation and contour integration technique in quantum mechanics. It is free ... augment numerical performances and capabilities in largescale 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...

FASTPT
 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 largescale structure in the weakly nonlinear regime ... results in computationally expensive modecoupling integrals. Here we present a fast algorithm for computing...

ImmunoGrid
 Referenced in 2 articles
[sw15735]
 ImmunoGrid, an integrative environment for largescale simulation of the immune system for vaccine discovery ... igridext.cryst.bbk.ac.uk/immunogrid>. ImmunoGrid, an integrative environment for largescale simulation of the immune system...