• OTTER

  • Referenced in 316 articles [sw02904]
  • term orderings, Knuth-Bendix completion, weighting, and strategies for directing and restricting searches for proofs ... symbolic calculator and has an embedded equational programming system. Otter is a fourth-generation Argonne...
  • OPTIMAS

  • Referenced in 17 articles [sw07605]
  • algorithm is built upon a multilevel embedded parallelization strategy, which efficiently makes use of computational...
  • CD2Alloy

  • Referenced in 2 articles [sw38503]
  • which are based on a shallow embedding strategy, and are thus limited to checking consistency ... language features, CD2Alloy uses a deeper embedding strategy. Rather than mapping each CD construct...
  • AMReX

  • Referenced in 12 articles [sw23792]
  • elements of the embedded boundary capability from Chombo and efficient multigrid strategies from HPGMG. AMReX...
  • DL_POLY_3

  • Referenced in 6 articles [sw09141]
  • dynamics simulation package embedding a highly efficient domain decomposition (DD) parallelization strategy. It was developed...
  • qpDUNES

  • Referenced in 15 articles [sw13238]
  • acronym DUNES stands for dual Newton strategy, the novel solution methodology which this solver implements ... standard to enlarge compatibility with embedded hardware platforms. It comes with its own linear algebra...
  • SensorDCSP

  • Referenced in 7 articles [sw30992]
  • agents) combined with a dynamic decentralized restart strategy can improve the performance of DisCSP algorithms ... addition, we introduce GSensorDCSP, a plain-embedded version of SensorDCSP that is closely related...
  • vlogsl

  • Referenced in 3 articles [sw12874]
  • driving the device through a specific behavior. Strategies are made possible at the language level ... domain-specific embedded language in Haskell, providing a sophisticated set of strategy language features, including...
  • Pochoir

  • Referenced in 10 articles [sw25851]
  • computing kernel and boundary conditions in an embedded domain specific language in C++. Depending ... Pochoir compiler, the basic parallelization and optimization strategy of Pochoir is divide-and-conquer (cache ... time grid, Pochoir employs a novel cutting strategy of Hyper-Space cut. Pochoir ... package contains three (3) main components: an embedded domain specific language (EDSL) in native...
  • DMaOEA

  • Referenced in 1 article [sw40608]
  • with MaOPs, a number of strategies are proposed and embedded in DMOEA ... mechanism and a distance-based global replacement strategy are presented to remedy the diversity loss...
  • Alloy*

  • Referenced in 5 articles [sw20736]
  • higher order; these are typically handled by embedding a first-order solver (such ... solver) in a domain-specific algorithm. Using strategies similar to those used in such algorithms ... that it can be applied directly, without embedding in another algorithm; and it performs well...
  • CESE

  • Referenced in 11 articles [sw08558]
  • element (SE), and a novel shock capturing strategy without using a Riemann solver. To date ... solve fluid-structure interaction problems with the embedded (or immersed) boundary approach or moving...
  • RANKS

  • Referenced in 1 article [sw39968]
  • semi-supervised algorithmic scheme embedding both local and global learning strategies for the analysis...
  • OpenUH

  • Referenced in 7 articles [sw13038]
  • enabled us to accomplish a scalable strategy for performance analysis, which is essential if performance ... code. Using a cost model embedded in the compiler’s interprocedural analyzer, we can statically ... given region should be instrumented. Our strategy has been shown to significantly reduce overheads...
  • ProjectQ

  • Referenced in 10 articles [sw21653]
  • resource estimation. We introduce our Python-embedded domain-specific language, present the features, and provide ... additional compilation, optimization, gate synthesis, and layout strategies...
  • DiffEqFlux

  • Referenced in 7 articles [sw27559]
  • integration strategies fail, but the sophisticated integration strategies provided by the DifferentialEquations.jl library succeed. This ... defining neural ordinary differential equations (neural networks embedded into the differential equation) and describe...
  • OpenGraphGym

  • Referenced in 1 article [sw38102]
  • algorithms and embedding methods for classic graph problems; 2) advanced parallel strategies for extreme-scale...
  • PySP

  • Referenced in 21 articles [sw04921]
  • stage cases. Intricate, configurable, and parallel decomposition strategies are frequently required to achieve tractable ... high-level programming language (Python) and the embedding of the base deterministic model in that...
  • GOOL

  • Referenced in 0 articles [sw31481]
  • such as Observer, State and Strategy). GOOL is an embedded DSL in Haskell that...
  • KANREN

  • Referenced in 5 articles [sw20083]
  • logic programming system with first-class relations, embedded in a pure functional subset of Scheme ... logical variables, depth-first and iterative deepening strategies. The system achieves high performance and expressivity...