
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 ... highlevel 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 finitestate abstractions. Then, using those abstractions, provablycorrect digital ... propose pFaces, an extensible softwareecosystem, to accelerate symbolic control techniques. It facilitates designing parallel ... capabilities, novel parallel algorithms are designed for abstractionbased controller synthesis. Then, they are implemented...

EigenCFA
 Referenced in 3 articles
[sw14136]
 investigation with the view that GPUs accelerate higharithmetic, dataparallel computations with a poor ... limit, we reduced Shivers’s abstractinterpretive 0CFA to an algorithm synthesized from linearalgebra ... encodings of the syntax tree and abstract domains as vectors and matrices.{par}A straightforward ... operations turned out to be the critical accelerants. Because controlflow 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 realtime 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 ... realtime processing and offline 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 GPUaccelerated MapReduce processing on arraybased 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 metalearning research ... regression, with a new metadataset 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...