• Scatter Search

  • Referenced in 293 articles [sw05291]
  • network. Through experimentation, we show that our instantiation of scatter search can compete with...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • principles that underly it. ATLAS is an instantiation of a new paradigm in high performance...
  • Isar

  • Referenced in 144 articles [sw04599]
  • mainly for Isabelle/HOL. Together with the Isabelle/Isar instantiation of Proof General, a generic (X)Emacs...
  • iProver

  • Referenced in 55 articles [sw09707]
  • iProver -- an instantiation-based theorem prover for first-order logic. iProver is an instantiation-based ... iProver is a modular combination of instantiation and propositional reasoning. In particular, any state ... iProver include: dismatching constraints, blocking non-proper instantiations and propositional-based simplifications. In addition ... instantiation, iProver implements ordered resolution calculus and a combination of instantiation and ordered resolution...
  • GloMIQO

  • Referenced in 77 articles [sw06266]
  • geometry, and portfolio optimization in finance. Specific instantiations of MIQCQP in process networks optimization problems...
  • ALF

  • Referenced in 67 articles [sw08603]
  • unication problem, i.e., the problem of finding instantiations to the placeholders in the object...
  • OrthoMADS

  • Referenced in 60 articles [sw07713]
  • algorithms. The advantages of this new OrthoMads instantiation of Mads are that the polling directions...
  • SWIFFT

  • Referenced in 48 articles [sw11588]
  • provide a detailed security analysis of concrete instantiations, and give a high-performance software implementation...
  • ParaDisEO

  • Referenced in 45 articles [sw01948]
  • transparent way, one has just to instantiate their associated provided classes. Their experimentation...
  • Handel-C

  • Referenced in 44 articles [sw11988]
  • with non-standard extensions to control hardware instantiation with an emphasis on parallelism. Handel...
  • CiaoPP

  • Referenced in 44 articles [sw12089]
  • program, including types, modes and other variable instantiation properties, non-failure, determinacy, bounds on computational...
  • mCRL

  • Referenced in 31 articles [sw29626]
  • optimisations on the level of LPOs. The instantiator generates a labelled transition system (LTS) from...
  • Charon

  • Referenced in 20 articles [sw19755]
  • building complex agents via the operations of instantiation, hiding, and parallel composition. For a hierarchical ... building complex modes via the operations of instantiation, scoping, and encapsulation. Features such as weak...
  • BLIS

  • Referenced in 17 articles [sw13858]
  • BLIS: A Framework for Rapidly Instantiating BLAS Functionality. The BLAS-like Library Instantiation Software (BLIS ... framework is a new infrastructure for rapidly instantiating Basic Linear Algebra Subprograms (BLAS) functionality...
  • CloudSim

  • Referenced in 27 articles [sw10724]
  • novel features: (i) support for modelling and instantiation of large scale Cloud computing infrastructure, including...
  • SATenstein

  • Referenced in 19 articles [sw14233]
  • these components behave; they allow SATenstein to instantiate many high-performance solvers previously proposed ... automated algorithm configuration procedure to find instantiations of SATenstein that perform well on several well...
  • Zinc

  • Referenced in 25 articles [sw08334]
  • types. Third, Zinc provides sophisticated type and instantiation checking which allows early detection of errors...
  • UG

  • Referenced in 24 articles [sw03500]
  • abstracted within UG. A parallel solver instantiated by UG framework is named: ug[Base solver...
  • Mcmt

  • Referenced in 24 articles [sw11911]
  • standard SMT techniques, efficient heuristics for quantifier instantiation, specifically tailored to model checking...
  • UFO

  • Referenced in 23 articles [sw09570]
  • exploration strategies. We have built three instantiations of the framework: a predicate abstraction-based version...