• BigDatalog

  • Referenced in 4 articles [sw27496]
  • running examples follows the normal Spark approach which you can read about under [here...
  • SPARK95

  • Referenced in 2 articles [sw03386]
  • high integrity systems using the SPARK approach. This paper presents a proposal that allows object ... SPARK 95, whereas supporting SPARK’s static approach for verification by imposing a notion...
  • BoomerAMG

  • Referenced in 158 articles [sw00086]
  • development of massively parallel computers, and has sparked much research into developing algorithms for them ... Henson [loc. cit.] as well as other approaches to parallelizing the coarse-grid selection...
  • AMIDST

  • Referenced in 5 articles [sw21741]
  • clusters. In this paper we present an approach for scaling up Bayesian learning using variational ... Apache Spark or Apache Flink, which efficiently support iterative map-reduce operations. Our approach...
  • Hammer

  • Referenced in 1 article [sw27958]
  • Hadoop vs. Spark: impact on performance of the Hammer query engine for open data corpora ... semantic similarity. The effectiveness of this approach was discussed in our previous works. In this ... Hadoop framework or on the Spark framework. Hadoop and Spark are two very popular frameworks ... impact of adopting the Map-Reduce approach and its two most famous frameworks to parallelize...
  • RORS

  • Referenced in 0 articles [sw14974]
  • RORS: Enhanced Rule-based OWL Reasoning on Spark. The rule-based OWL reasoning ... approach to enhancing the performance of the rule-based OWL reasoning on Spark based...
  • Matlab

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

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

  • Referenced in 459 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • Stratego

  • Referenced in 74 articles [sw01259]
  • Stratego/XT is a language and toolset for program...
  • Ada95

  • Referenced in 288 articles [sw01753]
  • Ada is a structured, statically typed, imperative, wide...
  • NEURON

  • Referenced in 178 articles [sw03059]
  • Parallel network simulations with NEURON. The NEURON simulation...
  • SPARK

  • Referenced in 48 articles [sw03124]
  • Using the SPARK toolset for showing the absence...
  • SLAM

  • Referenced in 151 articles [sw03136]
  • SLAM is a project for checking that software...
  • CUDA

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

  • Referenced in 3041 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • SVMlight

  • Referenced in 260 articles [sw04076]
  • Description (homepage): SVMlight is an implementation of Vapnik...
  • ARPACK

  • Referenced in 783 articles [sw04218]
  • ARPACK is a collection of Fortran77 subroutines designed...
  • OpenFOAM

  • Referenced in 390 articles [sw04317]
  • The OpenFOAM® (Open Field Operation and Manipulation) CFD...
  • LIBSVM

  • Referenced in 1088 articles [sw04879]
  • LIBSVM is a library for Support Vector Machines...