• 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 large-scale systems, in linear-scaling 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 large-scale 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]
  • state-of-the-art packages for large-scale 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 mixed-integer optimization...
  • DiVer

  • Referenced in 10 articles [sw01938]
  • based model checking platform for verifying large scale systems. We present a SAT-based model ... that are tightly integrated for verifying large scale industry designs. DiVer houses various SAT-based ... 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]
  • token-based 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 large-scale systems. Widespread use of parallel simulation, however; has been...
  • LAMMPS

  • Referenced in 72 articles [sw05952]
  • LAMMPS (Large-scale 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 large-scale parallel system. Designing communication-avoiding algorithms is crucial ... high performance computing on a large-scale parallel system. The TSQR algorithm is a communication...
  • MUMMER

  • Referenced in 40 articles [sw17256]
  • alignment of large-scale DNA and protein sequences. MUMmer is a system for rapidly aligning...
  • PARSEC

  • Referenced in 27 articles [sw09610]
  • well as systems applications which mimic large-scale multithreaded commercial programs. Our characterization shows that...
  • TrueSkill

  • Referenced in 22 articles [sw21717]
  • with the new rating system running in a large-scale 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 large-scale second-order dynamical systems. A new algorithm ... transfer functions of large-scale second-order dynamical systems is presented: the quadratic dominant pole...
  • 2LEV-D2P4

  • Referenced in 10 articles [sw00009]
  • PSBLAS, has been tested on large-scale 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...