
Maple
 Referenced in 3862 articles
[sw00545]
 functions, Maple offers the breadth, depth, and performance to handle every type of mathematics. Maple...

LAPACK
 Referenced in 1190 articles
[sw00503]
 instead of ”portable” because, for fastest possible performance, LAPACK requires that highly optimized block matrix ... much as possible of the computation is performed by calls to the Basic Linear Algebra ... promotes high efficiency on many highperformance computers, particularly if specially coded implementations are provided ... BLAS are available for many modern highperformance computers. For details of known vendor...

SeDuMi
 Referenced in 742 articles
[sw04002]
 symbolic and numerical reordering schemes, balancing speed/accuracy performance and sophisticated dense column handling, using...

SIFT
 Referenced in 440 articles
[sw16554]
 from images that can be used to perform reliable matching between different views ... belonging to a single object, and finally performing verification through leastsquares solution for consistent ... occlusion while achieving near realtime performance...

CUDA
 Referenced in 672 articles
[sw03258]
 tools for debugging and optimizing the performance of your applications. You’ll also find programming...

MACSYMA
 Referenced in 667 articles
[sw01209]
 indefinite integral of a function), or to perform very complicated computations by means...

Chaff
 Referenced in 466 articles
[sw06916]
 complete solver, Chaff, which achieves significant performance gains through careful engineering of all aspects ... obtain one to two orders of magnitude performance improvement on difficult SAT benchmarks in comparison...

DIMACS
 Referenced in 339 articles
[sw08221]
 Challenges address questions of determining realistic algorithm performance where worst case analysis is overly pessimistic ... experimentation can provide guides to realistic algorithm performance where analysis fails. Experimentation also brings algorithmic ... other methods of testing and comparing performance of algorithms. And it is a step...

LBFGS
 Referenced in 516 articles
[sw03229]
 unconstrained problems and in this case performs similarly to its predecessor, algorithm LBFGS (Harwell...

Maude
 Referenced in 495 articles
[sw06233]
 Maude is a highperformance reflective language and system supporting both equational and rewriting logic...

CoCoA
 Referenced in 478 articles
[sw00143]
 Commutative Algebra. It is able to perform simple and sophisticated operations on multivaraiate polynomials...

SparseMatrix
 Referenced in 326 articles
[sw04629]
 linear algebra community for the development and performance evaluation of sparse matrix algorithms. It allows ... robust and repeatable experiments: robust because performance results with artificiallygenerated matrices can be misleading...

Knapsack
 Referenced in 359 articles
[sw04723]
 results are presented to compare the actual performance of the most effective algorithms published...

PRISM
 Referenced in 254 articles
[sw01186]
 continuoustime Markov chains. Analysis is performed through model checking such systems against specifications written ... been successfully used to analyse probabilistic termination, performance, and quality of service properties...

TETRAD
 Referenced in 233 articles
[sw12177]
 Splus or R. Tetrad is freeware that performs many of the functions in commercial programs ... discovery functions these commercial programs do not perform. Tetrad is unique in the suite...

ScaLAPACK
 Referenced in 322 articles
[sw00830]
 LAPACK. It is a library of highperformance linear algebra routines for distributed memory message...

AdaBoost.MH
 Referenced in 318 articles
[sw08517]
 require any prior knowledge about the performance of the weak learning algorithm. We also study...

ATLAS
 Referenced in 181 articles
[sw00056]
 instantiation of a new paradigm in high performance library production and maintenance, which we term ... basic linear algebra subprograms, a widely used, performancecritical, linear algebra kernel library...

VODE
 Referenced in 165 articles
[sw01005]
 systems. They find that the first ones performs better on some problems, but the authors ... have a clear understanding of their performance. The paper ends with some comparison tests with...

Kronos
 Referenced in 226 articles
[sw01270]
 Realtime systems are systems that must perform a task within strict time deadlines. Embedded...