Statements (110)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:C_programming_language
gptkb:software |
| gptkbp:based_on |
gptkb:Ada_programming_language
|
| gptkbp:designed_for |
high-integrity systems
|
| gptkbp:developed_by |
gptkb:Apache_Software_Foundation
gptkb:Ada_Core |
| gptkbp:enables |
proof of absence of runtime errors
|
| gptkbp:features |
strong typing
static analysis |
| gptkbp:first_released |
gptkb:2005
gptkb:2010 |
| gptkbp:has |
open-source implementation
|
| gptkbp:has_community |
gptkb:Apache_Spark_Community
|
| gptkbp:has_component |
gptkb:Spark_Streaming
gptkb:Graph_X gptkb:Spark_SQL gptkb:MLlib |
| gptkbp:has_documentation |
Official Apache Spark Documentation
|
| gptkbp:has_feature |
gptkb:servers
gptkb:machine_learning Fault Tolerance SQL Queries Graph Processing Stream Processing Lazy Evaluation Interactive Queries Data Frame API Unified Engine |
| https://www.w3.org/2000/01/rdf-schema#label |
SPARK
|
| gptkbp:is |
used in medical devices
used in control systems used in robotics used in embedded systems used in telecommunications systems used in real-time systems used in industrial automation used in financial systems used in agile development used in software development lifecycle used in nuclear systems used in service-oriented architecture ISO standard compliant a subset of Ada used for safety certification used for security certification used in automotive safety systems used in avionics software used in component-based development used in critical software development used in high-assurance systems used in incremental development used in iterative development used in mission-critical systems used in model-driven development used in railway signaling systems used in software maintenance used in software testing used in software validation used in software verification used in space systems used in waterfall development |
| gptkbp:is_compatible_with |
gptkb:Amazon_S3
gptkb:Cassandra gptkb:HDFS gptkb:HBase |
| gptkbp:is_known_for |
gptkb:Speed
Flexibility Scalability Ease of Use |
| gptkbp:is_part_of |
Big Data Ecosystem
|
| gptkbp:is_popular_in |
gptkb:machine_learning
gptkb:Data_Analytics gptkb:Data_Science |
| gptkbp:is_supported_by |
Community Contributions
Third-party Libraries Various Cloud Providers |
| gptkbp:is_used_by |
Data Scientists
Machine Learning Engineers Data Engineers |
| gptkbp:is_used_in |
Batch Processing
Data Warehousing Real-time Data Processing Machine Learning Pipelines |
| gptkbp:latest_version |
gptkb:SPARK_2014
|
| gptkbp:license |
Apache License 2.0
|
| gptkbp:programming_language |
gptkb:Scala
|
| gptkbp:provides |
contract-based programming
in-memory data processing runtime checks |
| gptkbp:runs_through |
gptkb:Kubernetes
gptkb:Hadoop Mesos |
| gptkbp:supports |
formal verification
big data processing concurrent programming modular programming |
| gptkbp:tutorials |
Online Tutorials
|
| gptkbp:used_by |
gptkb:civil_aviation
gptkb:automotive_industry gptkb:military_defense railway industry |
| gptkbp:used_in |
safety-critical applications
|
| gptkbp:uses |
Resilient Distributed Datasets (RDDs)
|
| gptkbp:written_in |
gptkb:Java
gptkb:Python gptkb:R |
| gptkbp:bfsParent |
gptkb:Ada_Programming_Language
gptkb:Ada_Core_Technologies gptkb:ADA_Latin |
| gptkbp:bfsLayer |
7
|