• gmp

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

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

  • Referenced in 87 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 109 articles [sw15842]
  • more powerful, iterative version of the optimisation. Secondly, the power of the iterative algorithm...
  • ILOG SCHEDULE

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

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

  • Referenced in 68 articles [sw09836]
  • software tool, and to maximise portability. New optimisations have also been introduced, and some...
  • AK-MCS

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

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

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

  • Referenced in 45 articles [sw13752]
  • Cython is an optimising static compiler for both the Python programming language and the extended...
  • 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...
  • 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...
  • DLV

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

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

  • Referenced in 13 articles [sw02081]
  • genetic algorithm to solve hard combinatorial optimisation problems in engineering The genetic algorithm BIANCA developed ... design and optimisation of composite laminates is a multi-population genetic algorithm capable to deal ... with unconstrained and constrained hard combinatorial optimisation problems in engineering. The effectiveness and robustness ... proper and original strategies to treat constrained optimisation problems through the generalisation of penalisation methods...
  • MSOPS-II

  • Referenced in 13 articles [sw11982]
  • MSOPS-II: a general-purpose many-objective optimiser. Existing evolutionary methods capable of true many ... objective optimisation have been limited in their application: for example either initial search directions need ... part of a general-purpose multi/many objective optimisation algorithm, requiring minimal initial configuration...
  • FLIRT

  • Referenced in 21 articles [sw02671]
  • around a multi-start, multi-resolution global optimisation method. It can be used for inter...