Results 11 to 20 of about 54,160 (201)
Scientific notes of Taurida National V.I. Vernadsky University. Series: Technical Sciences, 2023 L.M. Oleshchenko
openalex +2 more sources
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
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
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
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
FooPar: A Functional Object Oriented Parallel Framework in Scala [PDF]
, 2013 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
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