• ABS

  • Referenced in 31 articles [sw21211]
  • language for modeling data. ABS uses asynchronous method calls, interfaces for encapsulation, and cooperative scheduling...
  • Creol

  • Referenced in 25 articles [sw09421]
  • coupling of method calls and synchronization. Asynchronous method calls and high-level local control structures...
  • APPSPACK

  • Referenced in 30 articles [sw04400]
  • optimization problems. It implements an asynchronous parallel pattern search method that has been specifically designed...
  • BoolNet

  • Referenced in 15 articles [sw07365]
  • analysis of synchronous, asynchronous, and probabilistic Boolean networks Provides methods to reconstruct and generate synchronous...
  • COSTABS

  • Referenced in 5 articles [sw09877]
  • synchronization mechanisms by means of asynchronous method calls, release points in method definitions, and cooperative ... scheduling of method activations. This paper presents COSTABS, a COSt and Termination analyzer ... execution steps, memory consumption, number of asynchronous calls, among others. The analysis bounds provide formal...
  • JACK

  • Referenced in 5 articles [sw30937]
  • ease the implementation of both asynchronous and synchronous iterative methods. A mathematical and algorithmic framework ... about fixed-point methods is described to introduce this class of parallel iterative algorithms, although ... describe detailed implementation aspects arising from the asynchronous context. While the library is mainly based ... structuring approach of the Jacobi iterative method...
  • CoBoxes

  • Referenced in 2 articles [sw18534]
  • Communication between coboxes is handled by asynchronous method calls with futures, which is in particular...
  • ASYNPLEX

  • Referenced in 8 articles [sw02174]
  • paper describes ASYNPLEX, an asynchronous variant of the revised simplex method which is suitable...
  • AFACx

  • Referenced in 5 articles [sw12887]
  • Asynchronous fast adaptive composite-grid methods: Numerical results. This paper presents numerical results...
  • FEMPAR

  • Referenced in 21 articles [sw21297]
  • curl-conforming finite element methods, discontinuous Galerkin methods, B-splines, and unfitted finite element techniques ... relies on state-of-the-art bulk-asynchronous implementations of multilevel domain decomposition solvers...
  • PARSMI

  • Referenced in 7 articles [sw22139]
  • minor iterations of the standard simplex method applied to a small subset of the variables ... asynchronous parallel algorithm PARSMI is presented in which computational components of the revised simplex method...
  • POEMS

  • Referenced in 1 article [sw02097]
  • based on object replication. Method invocation in POEMS is asynchronous and threads are created...
  • HOLyHammer

  • Referenced in 26 articles [sw11553]
  • reasoning systems combined with several premise selection methods trained on all the project proofs ... proof development. An Emacs interface allowing parallel asynchronous queries to the service is also provided...
  • CASCADE

  • Referenced in 8 articles [sw01385]
  • tool kernel that supports the synthesis of asynchronous controllers. It uses a generalized ... designer to choose between several appropriate design methods. It then transforms the initial specification into...
  • pySOT

  • Referenced in 4 articles [sw26653]
  • pySOT is a collection of synchronous and asynchronous surrogate optimization strategies, implemented in the POAP ... github.com/dbindel/POAP). We support the stochastic RBF method by Regis and Shoemaker along with various...
  • FastInf

  • Referenced in 4 articles [sw06423]
  • library is propagation based approximate inference methods, ranging from the basic loopy belief propagation algorithm ... that improve on the standard synchronous or asynchronous approaches are included. Also implemented ... basic classes to other inference and learning methods...
  • GRINS

  • Referenced in 6 articles [sw21301]
  • curl-conforming finite element methods, discontinuous Galerkin methods, B-splines, and unfitted finite element techniques ... relies on state-of-the-art bulk-asynchronous implementations of multilevel domain decomposition solvers...
  • LargeVis

  • Referenced in 6 articles [sw34905]
  • costs, preventing the state-of-the-art methods such as the t-SNE from scaling ... which can be effectively optimized through asynchronous stochastic gradient descent with a linear time complexity ... LargeVis outperforms the state-of-the-art methods in both efficiency and effectiveness. The hyper...
  • DUNE-FEM-DG

  • Referenced in 2 articles [sw37061]
  • methods are used including higher order explicit, diagonally implicit and IMEX schemes. We discuss asynchronous...
  • TMAC

  • Referenced in 3 articles [sw15565]
  • coordinate up- date method and operator splitting method, are scalable as they decompose a problem ... multi-threaded fashion, either synchronously or asynchronously, to take advantages of all the cores available...