
MINOS
 Referenced in 444 articles
[sw05095]
 MINOS is a largescale optimization system, for the solution of sparse linear and nonlinear...

Python
 Referenced in 1935 articles
[sw14460]
 programs on both a small and large scale. Python supports multiple programming paradigms, including object ... dynamic type system and automatic memory management and has a large and comprehensive standard library...

NITSOL
 Referenced in 96 articles
[sw00623]
 truncated Newton) algorithm for solving largescale nonlinear systems. The framework is an inexact Newton...

Nuprl
 Referenced in 390 articles
[sw06751]
 Nuprl system is a framework for reasoning about mathematics and programming. Over the years ... improved to meet the demands of largescale applications. Nuprl LPE, the newest release, features...

Rapide
 Referenced in 38 articles
[sw01249]
 language and toolset for simulation of distributed systems by partial orderings of events The Rapide ... technology for building largescale, distributed multilanguage systems. This technology is based upon ... evolutionary development and rigorous analysis of largescale systems. Rapide™ is designed to support component...

SVMlight
 Referenced in 263 articles
[sw04076]
 recommender systems. Futhermore, this version includes an algorithm for training largescale transductive SVMs...

Pastry
 Referenced in 107 articles
[sw11775]
 location, and routing for largescale peertopeer systems. This paper presents the design ... object location in a potentially very large overlay network of nodes connected via the Internet...

KORBX
 Referenced in 55 articles
[sw04341]
 system for solving largescale linear programs. The system consists of both hardware, which uses...

COBOL
 Referenced in 237 articles
[sw01228]
 primarily used in business, finance, and administrative systems for companies and governments. COBOL is still ... deployed on mainframe computers, such as largescale batch and transaction processing jobs...

BB
 Referenced in 37 articles
[sw08074]
 package BB: Solving and Optimizing LargeScale Nonlinear Systems. BarzilaiBorwein spectral methods for solving...

GPDT
 Referenced in 45 articles
[sw04803]
 software for training large scale support vector machines on multiprocessor systems Parallel software for solving ... computing resources available on multiprocessor systems, by distributing the heaviest computational tasks of each decomposition ... makes large scale standard nonlinear support vector machines effectively tractable on common multiprocessor systems. This...

DASPK 3.0
 Referenced in 35 articles
[sw04288]
 algorithms for sensitivity analysis of largescale differential algebraic systems. The authors describe ... sensitivity analysis of largescale differential algebraic equations. They outline the underlying algorithms...

QSDPNAL
 Referenced in 28 articles
[sw18799]
 develop efficient techniques for solving large scale linear systems of equations under certain subspace constraints ... conditioned linear systems are carefully designed to replace the original linear systems and novel shadow ... constraints. Extensive numerical results for various large scale QSDPs show that our twophase algorithm...

PABTEC
 Referenced in 12 articles
[sw04061]
 increasing. This usually leads to a system of model equations in form of differentialalgebraic ... even more unknowns. Simulation of such large models is mostly impossible or, at least, unacceptably ... order reduction is to replace a largescale system by a much smaller model which ... inputoutput relation of the largescale system within a required accuracy. The present...

Mercury
 Referenced in 68 articles
[sw08333]
 conventional programming systems. Mercury addresses the problems of largescale program development, allowing modularity, separate...

NAMD
 Referenced in 79 articles
[sw03198]
 simulation of large biomolecular systems. Based on Charm++ parallel objects, NAMD scales to hundreds...

UFO
 Referenced in 40 articles
[sw04719]
 mediumsize and sparse largescale optimization problems. The UFO system can be used...

LabVIEW
 Referenced in 56 articles
[sw04369]
 platform, engineers scale from design to test and from small to large systems while reusing...

Pregel
 Referenced in 34 articles
[sw13416]
 Pregel: a system for largescale graph processing. Many practical computing problems concern large graphs...

HarwellBoeing sparse matrix collection
 Referenced in 215 articles
[sw08516]
 test set comprises problems in linear systems, least squares, and eigenvalue calculations from a wide ... sparse matrix research, to large test cases arising in largescale computation. We offer...