• LAPACK

  • Referenced in 1414 articles [sw00503]
  • widely used EISPACK and LINPACK libraries run efficiently on shared-memory vector and parallel processors ... provide a transportable way to achieve high efficiency on diverse modern machines ... BLAS operations, their use promotes high efficiency on many high-performance computers, particularly if specially ... implementations are provided by the manufacturer. Highly efficient machine-specific implementations of the BLAS...
  • LMI toolbox

  • Referenced in 1219 articles [sw06383]
  • expected in the future. Thanks to its efficient “structured” representation of LMIs, the LMI Control...
  • SINGULAR

  • Referenced in 1096 articles [sw00866]
  • SINGULAR programming language. A general and efficient implementation of communication links allows SINGULAR to make...
  • Tabu search

  • Referenced in 960 articles [sw08556]
  • extensions that have contributed to increasing the efficiency of the method. One of the useful...
  • Chaff

  • Referenced in 531 articles [sw06916]
  • Chaff:engineering an efficient SAT solver. Boolean Satisfiability is probably the most studied of combinatorial ... aspects of the search - especially a particularly efficient implementation of Boolean constraint propagation...
  • LINPACK

  • Referenced in 451 articles [sw04209]
  • LINPACK uses column-oriented algorithms to increase efficiency by preserving locality of reference. LINPACK ... LAPACK, which has been designed to run efficiently on shared-memory, vector supercomputers...
  • ANSYS

  • Referenced in 517 articles [sw00044]
  • engineering design process by delivering efficiency, driving innovation and reducing physical constraints, enabling simulated tests...
  • AMPL

  • Referenced in 508 articles [sw04001]
  • control options make it an especially efficient choice for repeated production runs...
  • SDPT3

  • Referenced in 481 articles [sw04009]
  • SQLP solver. Various techniques to improve the efficiency and stability of the algorithm are incorporated...
  • HLLE

  • Referenced in 437 articles [sw06605]
  • wave speed. They are quite robust and efficient but somewhat more diffusive.[5] https://math.nyu.edu...
  • MINOS

  • Referenced in 427 articles [sw05095]
  • lower bounds on the variables are handled efficiently. File formats for constraint and basis data...
  • SVMlight

  • Referenced in 234 articles [sw04076]
  • problems with many thousands of support vectors efficiently. The software also provides methods for assessing ... generalization performance efficiently. It includes two efficient estimation methods for both error rate and precision/recall ... which leads to a very compact and efficient representation...
  • ScaLAPACK

  • Referenced in 368 articles [sw00830]
  • problems. The goals of both projects are efficiency, scalability, reliability, portability, flexibility, and ease...
  • FGb

  • Referenced in 222 articles [sw00286]
  • lines of C) ia an efficient program written in C for solving polynomial systems ... main goal is to provide efficient implementations of state-of-the-art algorithms for computing ... such an implementation to demonstrate the practical efficiency of new algorithms. Secondly, in conjunction with...
  • EnKF

  • Referenced in 227 articles [sw02066]
  • assimilated. The EnKF has proven to efficiently handle strongly nonlinear dynamics and large state spaces ... summer 2003 could have been more efficiently forecast if the EnKF had been used...
  • mftoolbox

  • Referenced in 308 articles [sw23743]
  • simplicity and readability rather than maximum efficiency. Algorithmic options such as preprocessing are omitted...
  • Chord

  • Referenced in 201 articles [sw09434]
  • confronts peer-to-peer applications is to efficiently locate the node that stores a particular ... which the key maps. Chord adapts efficiently as nodes join and leave the system...
  • CGAL

  • Referenced in 274 articles [sw00118]
  • Project is to provide easy access to efficient and reliable geometric algorithms in the form...
  • SATO

  • Referenced in 189 articles [sw04451]
  • last decade, we developed a very efficient implementation of the Davis-Putnam method called SATO ... efficiency of our programs allowed us to solve over one hundred open quasigroup problems...
  • LS-DYNA

  • Referenced in 260 articles [sw03068]
  • continuously recodes existing algorithms and develops more efficient methodologies...