• BoomerAMG

  • Referenced in 196 articles [sw00086]
  • development of massively parallel computers, and has sparked much research into developing algorithms for them...
  • Apache Spark

  • Referenced in 63 articles [sw28418]
  • Apache Spark: Spark is a fast and general cluster computing system for Big Data ... rich set of higher-level tools including Spark SQL for SQL and DataFrames, MLlib ... machine learning, GraphX for graph processing, and Spark Streaming for stream processing...
  • SPARK

  • Referenced in 48 articles [sw03124]
  • Using the SPARK toolset for showing the absence of run-time errors in safety-critical ... study into the effectiveness of the SPARK toolset for showing the absence of run-time ... finding run-time errors in a SPARK program, and how much of the process ... anyone contemplating the use of the SPARK toolset for ensuring the absence of run-time...
  • Spark

  • Referenced in 41 articles [sw23653]
  • Spark: cluster computing with working sets. MapReduce and its variants have been highly successful ... tools. We propose a new framework called Spark that supports these applications while retaining ... tolerance of MapReduce. To achieve these goals, Spark introduces an abstraction called resilient distributed datasets ... rebuilt if a partition is lost. Spark can outperform Hadoop by 10x in iterative machine...
  • ProofPower

  • Referenced in 57 articles [sw06339]
  • tool supporting refinement of Z to the SPARK subset of Ada is also available...
  • MLlib

  • Referenced in 25 articles [sw15430]
  • MLlib: machine learning in apache spark. Apache Spark is a popular open-source platform ... tasks. In this paper we present MLlib, Spark’s open-source distributed machine learning library ... optimization, and linear algebra primitives. Shipped with Spark, MLlib supports several languages and provides ... high-level API that leverages Spark’s rich ecosystem to simplify the development...
  • GraphX

  • Referenced in 10 articles [sw15432]
  • GraphX is a new component in Spark for graphs and graph-parallel computation ... high level, GraphX extends the Spark RDD by introducing a new Graph abstraction: a directed...
  • MLbase

  • Referenced in 7 articles [sw15433]
  • prototype of MLI has been implemented against Spark, and serves as a testbed for MLlib ... MLlib: Apache Spark’s distributed ML library. MLlib was initially developed as part ... library is currently supported by the Spark community. Many features in MLlib have been borrowed...
  • Geppetto

  • Referenced in 10 articles [sw31791]
  • Geppetto: Versatile Verifiable Computation. Cloud computing sparked interest in Verifiable Computation protocols, which allow...
  • BigDatalog

  • Referenced in 5 articles [sw27496]
  • Data Analytics with Datalog Queries on Spark for details. BigDatalog is implemented as a module ... datalog) in Spark that requires a few changes to the core and sql modules. Building ... configuring and running examples follows the normal Spark approach which you can read about under...
  • SPARK

  • Referenced in 3 articles [sw24316]
  • design and implementation of SPARK, a toolkit for implementing domain-specific languages. SPARK ... impacts both the design and implementation of SPARK. We introduce SPARK in this paper ... arisen in its design and ongoing development. (SPARK stands for the Scanning, Parsing, and Rewriting...
  • SPARSKS

  • Referenced in 6 articles [sw08465]
  • SPARKS - a Fortran Subroutine for the Solution of Large Systems of Stiff ODE’s with...
  • sparklyr

  • Referenced in 3 articles [sw19334]
  • package sparklyr: R Interface to Apache Spark. R interface to Apache Spark, a fast ... supports connecting to local and remote Apache Spark clusters, provides a ’dplyr’ compatible back ... provides an interface to Spark’s built-in machine learning algorithms...
  • SparkR

  • Referenced in 3 articles [sw25055]
  • SparkR: R Frontend for Spark. SparkR is an R package that provides a light-weight ... frontend to use Apache Spark from R. SparkR exposes the Spark API through...
  • IFP-C3D

  • Referenced in 5 articles [sw09125]
  • auto-ignition and AKTIM for spark plug ignition) and for spray modelling enable the simulation...
  • GRASS

  • Referenced in 5 articles [sw12609]
  • generation high-throughput sequencing (HTS) technologies has sparked a growing interest in de novo genome...
  • AMIDST

  • Referenced in 5 articles [sw21741]
  • modern big data processing tools like Apache Spark or Apache Flink, which efficiently support iterative...
  • ABCpy

  • Referenced in 5 articles [sw29748]
  • single computer or using an Apache Spark or MPI enabled cluster. The modularity helps domain...
  • SPARK95

  • Referenced in 2 articles [sw03386]
  • implementation of high integrity systems using the SPARK approach. This paper presents a proposal that ... allows object-oriented programming in SPARK 95, whereas supporting SPARK’s static approach for verification...
  • SparkSW

  • Referenced in 2 articles [sw22017]
  • poses significant computational challenges. Apache Spark is an increasingly popular fast big data analytics engine ... that implements the SW algorithm on Apache Spark based distributed computing framework, with a couple ... success of SparkSW also reveals that Apache Spark framework provides an efficient solution to facilitate...