• BSPlib

  • Referenced in 42 articles [sw03374]
  • that it uses the bulk synchronous parallel cost model, thus providing a mechanism for portable...
  • Giraph

  • Referenced in 5 articles [sw18984]
  • systems are inspired by the Bulk Synchronous Parallel model of distributed computation introduced by Leslie...
  • H-BSP

  • Referenced in 2 articles [sw38897]
  • hierarchical concept to the BSP (Bulk Synchronous Parallel) computing model. An H-BSP program consists...
  • BSF-skeleton

  • Referenced in 1 article [sw38896]
  • skeleton is the BSF (Bulk Synchronous Farm) model of parallel computations, which allows predicting...
  • JBSP

  • Referenced in 1 article [sw00470]
  • Java implementation of the Bulk Synchronous Parallel (BSP) model. JBSP (a Java-based BSP system...
  • Ocelot

  • Referenced in 3 articles [sw09713]
  • Ocelot: a dynamic optimization framework for bulk-synchronous applications in heterogeneous systems. Ocelot ... explicitly data parallel execution model used by NVIDIA CUDA applications onto diverse multithreaded platforms. Ocelot...
  • Giraphx

  • Referenced in 1 article [sw07621]
  • scale graph processing Bulk Synchronous Parallelism (BSP) provides a good model for parallel processing...
  • Gunrock

  • Referenced in 4 articles [sw27063]
  • uses a high-level, bulk-synchronous, data-centric abstraction focused on operations on a vertex ... optimization strategies with a high-level programming model that allows programmers to quickly develop...
  • MulticoreBSP

  • Referenced in 2 articles [sw36396]
  • MulticoreBSP brings Bulk Synchronous Parallel (BSP) programming to modern multicore processors. BSP programming leads ... high-performance codes: Valiant introduced the BSP model to abstractly represent a parallel computer...
  • Theano-MPI

  • Referenced in 0 articles [sw15169]
  • distributed framework for training deep learning models built in Theano based on data-parallelism ... parallelism is implemented in two ways: Bulk Synchronous Parallel and Elastic Averaging SGD. This project ... implementation details. It is compatible for training models built in different framework libraries, e.g., Lasagne...
  • Coq

  • Referenced in 1835 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Maple

  • Referenced in 5199 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 252 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • MATCONT

  • Referenced in 396 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Mathematica

  • Referenced in 6090 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12640 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 8836 articles [sw00771]
  • R is a language and environment for statistical...
  • SUNDIALS

  • Referenced in 220 articles [sw00927]
  • SUNDIALS was implemented with the goal of providing...
  • CUDA

  • Referenced in 1230 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • NLEVP

  • Referenced in 121 articles [sw04058]
  • NLEVP: A Collection of Nonlinear Eigenvalue Problems. This...