• Dryad

  • Referenced in 19 articles [sw08916]
  • with communication ”channels” to form a dataflow graph. Dryad runs the application by executing...
  • Sisal

  • Referenced in 17 articles [sw13686]
  • efficient array handling. SISAL outputs a dataflow graph in Intermediary Form...
  • eHive

  • Referenced in 2 articles [sw27408]
  • blackboard systems, network distributed autonomous agents, dataflow graphs and block-branch diagrams. In the eHive ... required. The system allows us to define dataflow and branching rules to suit...
  • Naira

  • Referenced in 3 articles [sw13682]
  • compiling to a graph-reducing parallel abstract machine with a strong dataflow influence. Unusually (perhaps...
  • Graphsurge

  • Referenced in 1 article [sw32515]
  • create views over input graphs and a Differential Dataflow-based programming API to write analytics...
  • Sharpchecker

  • Referenced in 0 articles [sw36423]
  • analysis: call graph and control flow graph construction, dataflow analysis, as well as context...
  • Gelly Streaming

  • Referenced in 1 article [sw32516]
  • graph streams. Our work builds on existing abstractions for stream processing on distributed dataflows...
  • Naiad

  • Referenced in 4 articles [sw32529]
  • wide class of algorithms. This model enriches dataflow computation with timestamps that represent logical points ... analysis, it- erative machine learning, and interactive graph mining. Naiad outperforms specialized systems in their...
  • mlr3pipelines

  • Referenced in 1 article [sw31527]
  • mlr3pipelines: Preprocessing Operators and Pipelines for ’mlr3’. Dataflow programming toolkit that enriches ’mlr3’ with ... operators (’PipeOps’) that can be composed into graphs. Operations exist for data preprocessing, model fitting...
  • Coq

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

  • Referenced in 606 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • MapReduce

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

  • Referenced in 417 articles [sw00610]
  • Produced by experts for use in a variety...
  • Octave

  • Referenced in 284 articles [sw00646]
  • GNU Octave is a high-level language, primarily...
  • DrScheme

  • Referenced in 30 articles [sw01265]
  • DrScheme is a programming environment for Scheme. It...
  • Smalltalk

  • Referenced in 189 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...
  • POLIS

  • Referenced in 6 articles [sw03141]
  • An enhanced POLIS framework for fast exploration and...
  • ESPADON

  • Referenced in 2 articles [sw03180]
  • How rapid is rapid prototyping? Analysis of ESPADON...
  • CUDA

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