• gmp

  • Referenced in 282 articles [sw00363]
  • type, by using fast algorithms, with highly optimised assembly code for the most common inner...
  • HSL

  • Referenced in 279 articles [sw00418]
  • supercomputers to modern PCs. Recent additions include optimised support for multicore processors...
  • SMS-EMOA

  • Referenced in 95 articles [sw11894]
  • comparing the results of evolutionary multiobjective optimisation algorithms (EMOA). The new idea ... maximisation of the dominated hypervolume within the optimisation process. A steady-state EMOA is proposed...
  • GrabCut

  • Referenced in 115 articles [sw15842]
  • more powerful, iterative version of the optimisation. Secondly, the power of the iterative algorithm...
  • Saga

  • Referenced in 104 articles [sw39677]
  • this work we introduce a new optimisation method called SAGA in the spirit...
  • ILOG SCHEDULE

  • Referenced in 77 articles [sw21243]
  • language; efficient in as much as highly optimised constraint propagation procedures are now available; extensible...
  • Cython

  • Referenced in 73 articles [sw13752]
  • Cython is an optimising static compiler for both the Python programming language and the extended...
  • AK-MCS

  • Referenced in 72 articles [sw18303]
  • have emerged in reliability analysis. Widespread in optimisation, Kriging has just started to appear...
  • FaCT++

  • Referenced in 71 articles [sw09836]
  • software tool, and to maximise portability. New optimisations have also been introduced, and some...
  • PALP

  • Referenced in 70 articles [sw00672]
  • varieties. The package is well tested and optimised in speed as it was used...
  • FLINT

  • Referenced in 58 articles [sw00297]
  • support computations in number theory, including highly optimised routines for polynomial arithmetic and linear algebra...
  • MINION

  • Referenced in 53 articles [sw10176]
  • matrix models supports a lean, highly-optimised implementation. This contrasts with current constraint toolkits, which...
  • SeDuMi Interface

  • Referenced in 40 articles [sw41088]
  • user-friendly free Matlab package for defining optimisation problems over Linear Matrix Constraints (LMCs...
  • PGSolver

  • Referenced in 36 articles [sw14051]
  • present a generic solver that intertwines optimisations with any of the existing parity game algorithms...
  • OptorSim

  • Referenced in 21 articles [sw09653]
  • regarded as one of the major optimisation techniques for providing fast data access. par Within ... OptorSim provides a modular framework within which optimisation strategies can be studied under different Grid ... stability and transient behaviour of selected optimisation techniques...
  • DLV

  • Referenced in 33 articles [sw04640]
  • last years, incorporating new features and relevant optimisation techniques in all modules of the engine...
  • AToM3

  • Referenced in 32 articles [sw10092]
  • tools to process (create, edit, transform, simulate, optimise, ...) models expressed in the corresponding formalism. AToM...
  • mCRL

  • Referenced in 31 articles [sw29626]
  • number of tools that allow optimisations on the level of LPOs. The instantiator generates...
  • COFFEE

  • Referenced in 22 articles [sw20274]
  • maximise the impact of low level optimisation. For example, COFFEE can analyse the arrays, loops ... equations using the finite element method. An optimisation pipeline in COFFEE was designed to exploit...
  • 2DECOMP

  • Referenced in 25 articles [sw12729]
  • three-dimensional distributed FFTs. The library is optimised for supercomputers and scales well to hundreds...