Search Results - "SPARK (Computer program language)"

Co-Developing Programs and Their Proof of Correctness.

Authors: Chapman, Roderick Dross, Claire Matthews, Stuart et al.

Source: Communications of the ACM. Mar2024, Vol. 67 Issue 3, p84-94. 11p.

Subjects: SPARK (Computer program language), Programming languages, Electronic data processing, Computer programming, Computer software development, Computer software correctness

Applied Formal Logic: Searching in Strings.

Authors: Moy, Yannick¹

Source: Ada User Journal. Mar2018, Vol. 39 Issue 1, p52-57. 6p.

SCHEDULING AND PLANNING APPLICATIONS: SELECTED PAPERS FROM THE SPARK WORKSHOP SERIES.

Authors: VIDAL, LUIS CASTILLO CORTELLESSA, GABRIELLA YORKE-SMITH, NEIL

Source: Computational Intelligence. Feb2011, Vol. 27 Issue 1, p1-3. 3p.

Subjects: SPARK (Computer program language), Natural language processing

FastMFDs: a fast, efficient algorithm for mining minimal functional dependencies from large-scale distributed data with Spark.

Authors: Cheng, Feng Yang, Zhe

Source: Journal of Supercomputing; May2019, Vol. 75 Issue 5, p2497-2517, 21p

A Parallel Random Forest Algorithm for Big Data in a Spark Cloud Computing Environment.

Authors: Chen, Jianguo Li, Kenli Tang, Zhuo et al.

Source: IEEE Transactions on Parallel & Distributed Systems. Apr2017, Vol. 28 Issue 4, p919-933. 15p.

Subjects: SPARK (Computer program language), Big data, Cloud computing, Parallel programs (Computer programs), Random forest algorithms

A Dynamic Re-Partitioning Strategy Based on the Distribution of Key in Spark.

Authors: Tianyu Zhang Xin Lian

Source: AIP Conference Proceedings. 2018, Vol. 1967 Issue 1, p1-8. 8p.

Prototyping a Web-Scale Multimedia Retrieval Service Using Spark.

Authors: GUÐMUNDSSON, GYLFI ÞÓR JÓNSSON, BJÖRN ÞÓR AMSALEG, LAURENT et al.

Source: ACM Transactions on Multimedia Computing, Communications & Applications; 2018 Special Issue, Vol. 14 Issue 3s, p1-24, 24p

SPARK 2014 and GNATprove.

Authors: Hoang, Duc Moy, Yannick Wallenburg, Angela et al.

Source: International Journal on Software Tools for Technology Transfer. Nov2015, Vol. 17 Issue 6, p695-707. 13p.

Subjects: Software verification, SPARK (Computer program language), Compilers (Computer programs), Program development (Education), Computer architecture, Lexicography

Distributed Nonparametric and Semiparametric Regression on SPARK for Big Data Forecasting.

Authors: Fiosina, Jelena Fiosins, Maksims

Source: Applied Computational Intelligence & Soft Computing; 3/8/2017, p1-13, 13p

When Computers Fly, It Has to Be Right: Using SPARK for Flight Control of Small Unmanned Aerial Vehicles.

Authors: Sward, Ricky E. Gerken, Mark Casey, Dan

Source: CrossTalk: The Journal of Defense Software Engineering. Sep2006, Vol. 19 Issue 9, p10-14. 5p. 3 Diagrams.

Subjects: SPARK (Computer program language), Computer software, Computer systems, Computer industry, Software failures, System failures

Geographic Terms: United States

Accelerating biomedical innovation: a case study of the SPARK program at Stanford University, School of Medicine.

Authors: Kim, Esther S. Omura, Paige M.C. Lo, Andrew W.

Source: Drug Discovery Today. Jul2017, Vol. 22 Issue 7, p1064-1068. 5p.

Best Trade-Off Point Method for Efficient Resource Provisioning in Spark.

Authors: Nghiem, Peter P.¹ (AUTHOR) pnghiem@scu.edu

Source: Algorithms. Dec2018, Vol. 11 Issue 12, p190. 1p.

What Should Apache Spark Mean to Your Business?

Authors: Bodkin, Ron

Source: Information-management.com. 2/26/2016, p1-1. 1p. 1 Color Photograph.

Feature grouping-based parallel outlier mining of categorical data using spark.

Authors: Li, Junli Zhang, Jifu Qin, Xiao et al.

Source: Information Sciences; Dec2019, Vol. 504, p1-19, 19p

Service recommendation based on quotient space granularity analysis and covering algorithm on Spark.

Authors: Zhang, Yi-wen Zhou, Yuan-yuan Wang, Fu-tian et al.

Source: Knowledge-Based Systems; May2018, Vol. 147, p25-35, 11p

Confluence: Speeding Up Iterative Distributed Operations by Key-Dependency-Aware Partitioning.

Authors: Liang, Feng Lau, Francis C. M. Cui, Heming et al.

Source: IEEE Transactions on Parallel & Distributed Systems; Feb2018, Vol. 29 Issue 2, p351-364, 14p

基于Spark 的分布式车流量检测方法设计与实现. (Chinese)

Authors: 张洪 赵平 伍玲 et al.

Source: Computer Measurement & Control; 2018, Vol. 26 Issue 2, p199-206, 5p

A Unified Cloud Platform for Autonomous Driving.

Authors: Liu, Shaoshan Tang, Jie Wang, Chao et al.

Source: Computer (00189162); Dec2017, Vol. 50 Issue 12, p42-49, 8p

HAMR: A dataflow-based real-time in-memory cluster computing engine.

Authors: Wu, Yao Zheng, Long Heilig, Brian et al.

Source: International Journal of High Performance Computing Applications; Sep2017, Vol. 31 Issue 5, p361-374, 14p

An Accurate Sequence Assembly Algorithm for Livestock, Plants and Microorganism Based on Spark.

Authors: Dong, Gaifang Fu, Xueliang Li, Honghui et al.

Source: International Journal of Pattern Recognition & Artificial Intelligence; Aug2017, Vol. 31 Issue 8, p-1, 17p