SPARK is a programming language created in 1988.
| #339on PLDB | 35Years Old | 2.0kUsers |
| 22Books | 30Papers |
SPARK is a formally defined computer programming language based on the Ada programming language, intended for the development of high integrity software used in systems where predictable and highly reliable operation is essential. It facilitates the development of applications that demand safety, security, or business integrity. Originally, there were three versions of the SPARK language (SPARK83, SPARK95, SPARK2005) based on Ada 83, Ada 95 and Ada 2005 respectively. Read more on Wikipedia...
procedure Increment (X聽: in out Counter_Type)
with Global => null,
Depends => (X => X),
Pre => X < Counter_Type'Last,
Post => X = X'Old + 1;| title | authors | year | citations | influentialCitations |
|---|---|---|---|---|
| Spark SQL: Relational Data Processing in Spark | Michael Armbrust and Reynold Xin and Cheng Lian and Yin Huai and Davies Liu and Joseph K. Bradley and X. Meng and Tomer Kaftan and M. Franklin and A. Ghodsi and M. Zaharia | 2015 | 1155 | 207 |
| Big data analytics on Apache Spark | Salman Salloum and Ruslan Dautov and Xiaojun Chen and P. Peng and J. Huang | 2016 | 154 | 9 |
| SparkR: Scaling R Programs with Spark | S. Venkataraman and Zongheng Yang and Davies Liu and Eric Liang and H. Falaki and X. Meng and Reynold Xin and A. Ghodsi and M. Franklin and I. Stoica and M. Zaharia | 2016 | 64 | 6 |
| Big Data Analytics with Spark | M. Guller | 2015 | 46 | 3 |
| An Apache Spark Implementation for Sentiment Analysis on Twitter Data | Alexandros Baltas and Andreas Kanavos and A. Tsakalidis | 2016 | 28 | 1 |
| Collaborative filtering recommendation algorithm based on Hadoop and Spark | B. Kupisz and O. Unold | 2015 | 24 | 1 |
| Verification and testing of mobile robot navigation algorithms: A case study in SPARK | P. Trojanek and K. Eder | 2014 | 16 | 0 |
| Accelerating Apache Spark with FPGAs | Ehsan Ghasemi and P. Chow | 2019 | 15 | 1 |
| Accelerating Apache Spark Big Data Analysis with FPGAs | Ehsan Ghasemi and P. Chow | 2016 | 9 | 1 |
| Processing large-scale data with Apache Spark | Seyoon Ko and Joong-Ho Won | 2016 | 7 | 0 |
| A comparative between hadoop mapreduce and apache Spark on HDFS | Mohamed Saouabi and Abdellah Ezzati | 2017 | 7 | 1 |
| Vispark: GPU-accelerated distributed visual computing using spark | Woohyuk Choi and Sumin Hong and W. Jeong | 2015 | 5 | 0 |
| Accelerating Apache Spark Big Data Analysis with FPGAs | Ehsan Ghasemi and P. Chow | 2016 | 5 | 0 |
| Property-Based Testing for Spark Streaming | A. Riesco and J. Rodr铆guez-Hortal谩 | 2018 | 5 | 0 |
| Practical Application of SPARK to OpenUxAS | M. Aiello and Claire Dross and P. Rogers and Laura R. Humphrey and James Hamil | 2019 | 4 | 0 |
| Software vulnerabilities precluded by spark | Joyce L. Tokar and F. D. Jones and P. Black and Chris E. Dupilka | 2011 | 3 | 0 |
| SWRL Parallel Reasoning Method with Spark SQL | Wan Li and Huaai Kang and Dongbo Ma and Weiwei Wei | 2019 | 3 | 0 |
| SWRL Parallel Reasoning Implementation with Spark SQL | Wan Li and Huaai Kang and Dongbo Ma and Weiwei Wei | 2020 | 3 | 0 |
| DatalogRA: datalog with recursive aggregation in the spark RDD model | Marek Rogala and J. Hidders and J. Sroka | 2016 | 2 | 0 |
| Optimized Parallelization of Binary Classification Algorithms Based on Spark | Yushui Geng and Jianguo Zhang | 2016 | 2 | 0 |
| Large-Scale Text Similarity Computing with Spark | Xiaoan Bao and Dai Shichao and N. Zhang and Chenghai Yu | 2016 | 2 | 0 |
| Performance Analysis Using Apriori Algorithm Along with Spark and Python | F. Gao and C. Bhowmick and Jiangjiang Liu | 2018 | 2 | 0 |
| Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists | L茅o Creuse and Claire Dross and C. Garion and J. Hugues and Joffrey Huguet | 2019 | 2 | 0 |
| Performance evaluation of Apache Hadoop and Apache Spark for parallelization of compute-intensive tasks | Alexander D枚schl and Max-Emanuel Keller and P. Mandl | 2020 | 2 | 0 |
| Spark and Scala (keynote) | Reynold Xin | 2017 | 1 | 0 |
| Processing Large Raster and Vector Data in Apache Spark | Stefan Hagedorn and O. Birli and K. Sattler | 2019 | 1 | 0 |
| Comparison of MPI and Spark for Data Science Applications | Manvi Saxena and S. Jha and Saba Khan and John Rodgers and P. Lindner and E. Gabriel | 2020 | 1 | 0 |
| Translation of Array-Based Loops to Spark SQL | Md Hasanuzzaman Noor and L. Fegaras | 2020 | 1 | 0 |
| A Study of Big Data Analytics using Apache Spark with Python and Scala | Y. Gupta and Surbhi Kumari | 2020 | 1 | 0 |
| Integration of Cassandra and Spark in Computer Aided Drug Design | R. NithaV | 2021 | 1 | 0 |