• Creol

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

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

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

  • Referenced in 12 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...
  • CoBoxes

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

  • Referenced in 3 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...
  • 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...
  • 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...
  • 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...
  • FEMPAR

  • Referenced in 11 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...
  • HOLyHammer

  • Referenced in 20 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...
  • 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 5 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...
  • 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...
  • SVR-AMA

  • Referenced in 1 article [sw29521]
  • paper focuses on the design of an asynchronous dual solver suitable for model predictive control ... context of proximal stochastic gradient methods (Prox-SVRG) and on the alternating minimization algorithm ... other state-of-the-art dual asynchronous algorithms, allows one to tune the probability ... asynchronous updates to improve the quality of the estimates. Two novel accelerated versions...
  • pySOT

  • Referenced in 1 article [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...
  • Algorithm 872

  • Referenced in 4 articles [sw12991]
  • generation. Delaunay refinement is a widely used method for the construction of guaranteed quality triangular ... meshed in parallel. The parallel algorithm is asynchronous with small messages which can be aggregated...