• Aspic

  • Referenced in 24 articles [sw04954]
  • Combining widening and acceleration in linear relation analysis. Linear Relation Analysis ... still one of the most powerful, abstract interpretations working in an infinite lattice. As such...
  • Booster

  • Referenced in 6 articles [sw33291]
  • Booster integrates new acceleration features with standard verification techniques, like Lazy Abstraction with Interpolants (extended...
  • UEGO

  • Referenced in 17 articles [sw02239]
  • UEGO, an abstract clustering technique for multimodal global optimization In this paper, UEGO ... general technique for accelerating and/or parallelizing existing search methods is suggested. The skeleton...
  • ArrayFire

  • Referenced in 4 articles [sw28758]
  • architectures including CPUs, GPUs, and other hardware acceleration devices. Several of ArrayFire’s benefits include ... high-level abstraction of data which resides on the accelerator, the af::array object. Developers...
  • Feel++

  • Referenced in 43 articles [sw05898]
  • mathematical software that follows closely the mathematical abstractions associated with partial differential equations (PDE)(which ... many simpler cases that would simplify and accelerate the development.) Feel++ was initially developed...
  • Eldarica

  • Referenced in 5 articles [sw09748]
  • acceleration of the transition relation, while the Eldarica system is based on predicate abstraction with...
  • alpaka

  • Referenced in 1 article [sw40458]
  • Alpaka - An Abstraction Library for Parallel Kernel Acceleration. Porting applications to new hardware or programming ... Alpaka library defines and implements an abstract hierarchical redundant parallelism model. The model exploits parallelism ... performance portability across various types of accelerators by ignoring specific unsupported levels and utilizing only...
  • pFaces

  • Referenced in 3 articles [sw30630]
  • pFaces: an acceleration ecosystem for symbolic control. The correctness of control software in many safety ... complex systems are approximated by finite-state abstractions. Then, using those abstractions, provably-correct digital ... propose pFaces, an extensible software-ecosystem, to accelerate symbolic control techniques. It facilitates designing parallel ... capabilities, novel parallel algorithms are designed for abstraction-based controller synthesis. Then, they are implemented...
  • EigenCFA

  • Referenced in 3 articles [sw14136]
  • investigation with the view that GPUs accelerate high-arithmetic, data-parallel computations with a poor ... limit, we reduced Shivers’s abstract-interpretive 0CFA to an algorithm synthesized from linear-algebra ... encodings of the syntax tree and abstract domains as vectors and matrices.{par}A straightforward ... operations turned out to be the critical accelerants. Because control-flow graphs are sparse...
  • QCOR

  • Referenced in 1 article [sw38536]
  • high level of abstraction in the developed language is intended to accelerate the adoption...
  • RAVEN

  • Referenced in 8 articles [sw10079]
  • verifying timed systems on various levels of abstraction. It integrates a real-time model checker ... enabling a compact representation and possibilities for acceleration. By some examples we show that...
  • NumPyro

  • Referenced in 3 articles [sw42868]
  • Composable Effects for Flexible and Accelerated Probabilistic Programming in NumPyro. NumPyro is a lightweight library ... modeling interface, language primitives and effect handling abstractions. Effect handlers allow Pyro’s modeling ... with the program transformations that enable hardware acceleration, automatic differentiation, and vectorization...
  • UltraSONIC

  • Referenced in 3 articles [sw01715]
  • share hardware resources. A novel method for abstracting the reconfigurable designs from the system level ... real-time processing and off-line software acceleration. We demonstrate how the UltraSONIC architecture...
  • Swift

  • Referenced in 6 articles [sw28742]
  • invocations. Distributed and parallel computing resources can accelerate such processing, but their use further increases ... file collections using a functional style that abstracts and simplifies distributed parallel execution...
  • Chromium

  • Referenced in 5 articles [sw14150]
  • same applications while using only commodity graphics accelerators. In addition, these stream filters ... this stream processing technology. By completely abstracting the underlying graphics architecture, network topology...
  • Vispark

  • Referenced in 2 articles [sw17471]
  • novel extension of Spark for GPU-accelerated MapReduce processing on array-based scientific computing ... level language syntax and a novel data abstraction for MapReduce programming on a GPU cluster...
  • AMYTISS

  • Referenced in 3 articles [sw36936]
  • finite Markov decision processes (MDPs) as finite abstractions of given original systems, and (ii) synthesize ... parallel execution within CPUs, GPUs and hardware accelerators (HWAs). Unlike all existing tools for stochastic...
  • Torchmeta

  • Referenced in 3 articles [sw30740]
  • standardized benchmarks in the literature has helped accelerating the recent advances in meta-learning research ... regression, with a new meta-dataset abstraction. It also features some extensions for PyTorch...
  • panelaggregation

  • Referenced in 0 articles [sw18461]
  • easily deployable way. Aggregation is substantially accelerated by use of data.table. This package intends ... interface that is less general and abstract than data.table but rather geared towards survey researchers...
  • HeteroCL

  • Referenced in 2 articles [sw41597]
  • deploying applications to heterogeneous hardware architectures with accelerators, such as GPUs and FPGAs. However, although ... HeteroCL DSL provides a clean programming abstraction that decouples algorithm specification from three important types...