Results 1 to 10 of about 54,653 (197)
Human-Centric Program Synthesis [PDF]
, 2019 Program synthesis techniques offer significant new capabilities in searching for programs that satisfy high-level specifications. While synthesis has been thoroughly explored for input/output pair specifications (programming-by-example), this paper asks:
Crichton, Will
core +2 more sources
Database integrated analytics using R : initial experiences with SQL-Server + R [PDF]
, 2016 © 2016 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new ...
Berral, Josep Ll., Poggi, Nicolas
core +2 more sources
Programming support for an integrated multi-party computation and MapReduce infrastructure [PDF]
, 2015 We describe and present a prototype of a distributed computational infrastructure and associated high-level programming language that allow multiple parties to leverage their own computational resources capable of supporting MapReduce [1] operations in ...
Bestavros, Azer +2 more
core +2 more sources
Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014
, 2017 SPARK 2014 is a modern programming language and a new state-of-the-art tool set for development and verification of high-integrity software. In this paper, we explore the capabilities and limitations of its latest version in the context of building a ...
A Burns, D Hoang, J Xiang, R Chapman
core +1 more source
Spark: The First Choice for Novices
Informatics in EducationSpark, one of the products offered by MyQ (formerly Plethora), is a game-based platform meticulously designed to introduce students to the foundational concepts of computer science.
Judith Gal-Ezer, Smadar Szekely
doaj +1 more source
Combining Terrier with Apache Spark to Create Agile Experimental Information Retrieval Pipelines [PDF]
, 2018 Experimentation using IR systems has traditionally been a procedural and laborious process. Queries must be run on an index, with any parameters of the retrieval models suitably tuned.
Macdonald, Craig
core +1 more source
SystemsProgramming education has become increasingly vital within global K–12 curricula, and large language models (LLMs) offer promising solutions to systemic challenges such as limited teacher expertise and insufficient personalized support.
Bixia Tang +3 more
doaj +1 more source
Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications
, 2018 MapReduce is a popular programming paradigm for developing large-scale, data-intensive computation. Many frameworks that implement this paradigm have recently been developed.
Cheung Alvin +2 more
core +1 more source
MP-SPILDL: A Massively Parallel Inductive Logic Learner in Description Logic
IEEE AccessThis article presents MP-SPILDL, a massively parallel inductive logic learner in Description Logic (DL). MP-SPILDL is a scalable inductive Logic Programming (ILP) algorithm that exploits existing Big Data infrastructure to perform large-scale inductive ...
Eyad Algahtani
doaj +1 more source
Scientific Computing Meets Big Data Technology: An Astronomy Use Case
, 2015 Scientific analyses commonly compose multiple single-process programs into a dataflow. An end-to-end dataflow of single-process programs is known as a many-task application.
Barbary, Kyle +7 more
core +2 more sources