Skip to search formSkip to main contentSkip to account menu

SPARK

Known as: SPARK Toolset, SPARK programming language, RavenSPARK 
SPARK is a formally defined computer programming language based on the Ada programming language, intended for the development of high integrity… 
Wikipedia (opens in a new tab)

Related topics

Related topics

35 relations

Broader (1)

Ada
Alt-ErgoAltran PraxisAutomated theorem provingComparison of programming languages (syntax)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Comparing columnar, row and array DBMSs to process recursive queries on graphs
2017
2017
Partitioning dynamic graph asynchronously with distributed FENNEL
2016
2016
Analysis of multilayer perceptron machine learning approach in classifying protein secondary structures
Protein secondary structure prediction is an important problem in bioinformatics and transforming biomedical big data into… 
2016
2016
Supporting Semantic Concept Retrieval with Negative Correlations in a Multimedia Big Data Mining System
With the extensive use of smart devices and blooming popularity of social media websites such as Flickr, YouTube, Twitter, and… 
2015
2015
Design consideration of Network Intrusion detection system using Hadoop and GPGPU
Modern computing has primarily shifted towards the distributed environment using commodity resources which results in increase in… 
2013
2013
Evaluating parallel logistic regression models
Logistic regression (LR) has been widely used in applications of machine learning, thanks to its linear model. However, when the… 
2008
2008
ArcAngelC: a Refinement Tactic Language for Circus
2006
2006
A LIBRARY OF HVAC COMPONENT MODELS FOR USE IN AUTOMATED DIAGNOSTICS
The paper describes and documents a library of equipment reference models developed for automated fault detection and diagnosis… 
1995
1995
Implementation of a Logic-Based Support System for Concurrent Engineering
1991
1991
Making Application Programming More Worthwile
We are designing and implementing an integrated programming framework to assist application program developers with the… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)