
TRAVOS
 Referenced in 20 articles
[sw11985]
 addition, due to the size of such systems, agents will often interact with other agents ... interactions among software agents in large scale open systems. Against this background, we have developed...

Wannier90
 Referenced in 13 articles
[sw01010]
 construction of model Hamiltonians for largescale systems, in linearscaling quantum Monte Carlo calculations...

PLCP
 Referenced in 228 articles
[sw04795]
 Newton steps on the perturbed optimality system ... either SCILAB or matlab for solving large scale linear programming problems. It can be freely...

TMSmesh
 Referenced in 20 articles
[sw14719]
 simulate electrostatic solvation of largescale molecular systems. The binary version of TMSmesh...

ROOT
 Referenced in 55 articles
[sw06817]
 framework. The ROOT system in an Object Oriented framework for large scale data analysis. ROOT...

HSL
 Referenced in 279 articles
[sw00418]
 stateoftheart packages for largescale scientific computation written and developed ... those for the solution of sparse linear systems of equations and sparse eigenvalue problems. MATLAB...

MOPS
 Referenced in 20 articles
[sw08791]
 This paper discusses a software system for solving large scale linear and mixedinteger optimization...

DiVer
 Referenced in 10 articles
[sw01938]
 based model checking platform for verifying large scale systems. We present a SATbased model ... that are tightly integrated for verifying large scale industry designs. DiVer houses various SATbased ... capacity and performance issues inherent in verifying large designs. The engines with their respective roles ... PBIA in BMC for verifying embedded memory systems with multiple memories (with multiple ports...

CCFinder
 Referenced in 15 articles
[sw09683]
 tokenbased code clone detection system for large scale source code. A code clone ... FreeBSD, NetBSD, Linux, and many other systems. As a result, CCFinder has effectively found clones...

Parsec
 Referenced in 9 articles
[sw22031]
 most common performance evaluation technique for such systems. However, the long execution times needed ... parallel execution for simulating largescale systems. Widespread use of parallel simulation, however; has been...

LAMMPS
 Referenced in 72 articles
[sw05952]
 LAMMPS (Largescale Atomic/Molecular Massively Parallel Simulator) is a classical molecular dynamics code. LAMMPS ... model atomic, polymeric, biological, metallic, or granular systems using a variety of force fields...

CholeskyQR2
 Referenced in 8 articles
[sw14461]
 skinny QR factorization on a largescale parallel system. Designing communicationavoiding algorithms is crucial ... high performance computing on a largescale parallel system. The TSQR algorithm is a communication...

MUMMER
 Referenced in 40 articles
[sw17256]
 alignment of largescale DNA and protein sequences. MUMmer is a system for rapidly aligning...

PARSEC
 Referenced in 27 articles
[sw09610]
 well as systems applications which mimic largescale multithreaded commercial programs. Our characterization shows that...

TrueSkill
 Referenced in 22 articles
[sw21717]
 with the new rating system running in a largescale commercial online gaming service under...

OpenUH
 Referenced in 7 articles
[sw13038]
 automated, scalable performance measurement and optimization system. The software and interfaces that we have created ... address the needs of emerging very large scale systems. We have discovered that...

SNAP
 Referenced in 168 articles
[sw04184]
 general purpose, high performance system for analysis and manipulation of large networks. Graphs consists ... performance and compact graph representation. It easily scales to massive networks with hundreds of millions...

QDPA
 Referenced in 10 articles
[sw12759]
 function dominant poles of largescale secondorder dynamical systems. A new algorithm ... transfer functions of largescale secondorder dynamical systems is presented: the quadratic dominant pole...

2LEVD2P4
 Referenced in 10 articles
[sw00009]
 PSBLAS, has been tested on largescale linear systems arising from model problems and real...

HOPDM
 Referenced in 74 articles
[sw04342]
 HOPDM is a package for solving large scale linear, convex quadratic and convex nonlinear programming ... given problem (either normal equations or augmented system). The code compares favourably with commercial...