Results 11 to 20 of about 54,160 (201)
L.M. Oleshchenko
openalex +2 more sources
Human-Centric Program Synthesis [PDF]
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 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
Combining Terrier with Apache Spark to Create Agile Experimental Information Retrieval Pipelines [PDF]
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
Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014
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
Spark, 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
Programming support for an integrated multi-party computation and MapReduce infrastructure [PDF]
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
FooPar: A Functional Object Oriented Parallel Framework in Scala [PDF]
We present FooPar, an extension for highly efficient Parallel Computing in the multi-paradigm programming language Scala. Scala offers concise and clean syntax and integrates functional programming features.
A Grama +10 more
core +1 more source
Programming 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
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

