English
Related papers

Related papers: dotCall64: An Efficient Interface to Compiled C/C+…

200 papers

A common requirement in science is to store and share large sets of simulation data in an efficient, nested, flexible and human-readable way. Such datasets contain number counts and distributions, i.e. histograms and maps, of arbitrary…

Data Structures and Algorithms · Computer Science 2024-01-26 Robert G. Izzard , David D. Hendriks , Daniel P. Nemergut

The paper introduces a novel representation for Generalized Planning (GP) problems, and their solutions, as C++ programs. Our C++ representation allows to formally proving the termination of generalized plans, and to specifying their…

Artificial Intelligence · Computer Science 2022-06-30 Javier Segovia-Aguas , Yolanda E-Martín , Sergio Jiménez

Efficient Matlab codes in 2D and 3D have been proposed recently to assemble finite element matrices. In this paper we present simple, compact and efficient vectorized algorithms, which are variants of these codes, in arbitrary dimension,…

Mathematical Software · Computer Science 2015-06-22 François Cuvelier , Caroline Japhet , Gilles Scarella

Input constraints are useful for many software development tasks. For example, input constraints of a function enable the generation of valid inputs, i.e., inputs that follow these constraints, to test the function deeper. API functions of…

Software Engineering · Computer Science 2024-03-07 Danning Xie , Yitong Li , Mijung Kim , Hung Viet Pham , Lin Tan , Xiangyu Zhang , Michael W. Godfrey

Neural networks have excelled at regression and classification problems when the input space consists of scalar variables. As a result of this proficiency, several popular packages have been developed that allow users to easily fit these…

Machine Learning · Statistics 2020-09-23 Barinder Thind , Sidi Wu , Richard Groenewald , Jiguo Cao

The object oriented programming paradigm is widely used in science and engineering. Many open and commercial libraries are written in C++ and increasingly provide bindings to Python, which is much easier to learn, but still partly…

Programming Languages · Computer Science 2023-12-22 Markus Kloimwieder , Christoph Gadermaier

We present the Flowgen tool, which generates flowcharts from annotated C++ source code. The tool generates a set of interconnected high-level UML activity diagrams, one for each function or method in the C++ sources. It provides a simple…

Software Engineering · Computer Science 2014-05-14 David A. Kosower , J. J. Lopez-Villarejo

We describe an abstract loop-based intermediate representation that can express fused implementations of relational algebra expressions on sets and bags (multisets). The loops are abstracted away from physical data structures thus making it…

Programming Languages · Computer Science 2025-02-12 James Dong , Fredrik Kjolstad

The Rust programming language restricts aliasing to provide static safety guarantees. However, in certain situations, developers need to bypass these guarantees by using a set of unsafe features. If they are used incorrectly, these features…

Software Engineering · Computer Science 2026-03-09 Ian McCormack , Tomas Dougan , Sam Estep , Hanan Hibshi , Jonathan Aldrich , Joshua Sunshine

The iotools package provides a set of tools for Input/Output (I/O) intensive datasets processing in R (R Core Team, 2014). Efficent parsing methods are included which minimize copying and avoid the use of intermediate string representations…

Computation · Statistics 2016-04-08 Taylor Arnold , Michael Kane , Simon Urbanek

We describe an implementation of the Farfel Fortran AD extensions. These extensions integrate forward and reverse AD directly into the programming model, with attendant benefits to flexibility, modularity, and ease of use. The…

Programming Languages · Computer Science 2016-02-09 Alexey Radul , Barak A. Pearlmutter , Jeffrey Mark Siskind

We present HAM (Heterogeneous Active Messages), a C++-only active messaging solution for heterogeneous distributed systems.Combined with a communication protocol, HAM can be used as a generic Remote Procedure Call (RPC) mechanism. It has…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-06-25 Matthias Noack

Following the ideas of the Remote Procedure Call model, we have developed a logic programming counterpart, naturally called Prolog Remote Predicate Call (Prolog RPC). The Prolog RPC protocol facilitates the integration of Prolog code in…

Networking and Internet Architecture · Computer Science 2007-05-23 Alin Suciu , Kalman Pusztai , Andrei Diaconu

Recent trends in the HPC field have introduced new CPU architectures with improved vectorization capabilities that require optimization to achieve peak performance and thus pose challenges for performance portability. The deployment of…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-09-17 Gianmarco Accordi , Jens Domke , Theresa Pollinger , Davide Gadioli , Gianluca Palermo

The article deals with a kind of recursive function templates in C++, where the recursion is realized corresponding template parameters to achieve better computational performance. Some specialization of these template functions ends the…

Mathematical Software · Computer Science 2007-05-23 Volodymyr Myrnyy

FlatCurry is a well-established intermediate representation of Curry programs used in compilers that translate Curry code into Prolog and Haskell code. Some FlatCurry constructs have no direct translation into imperative code. These…

Programming Languages · Computer Science 2019-08-30 Sergio Antoy , Michael Hanus , Andy Jost , Steven Libby

FPGAs, as computing devices, offer significant speedup over microprocessors. Furthermore, their configurability offers an advantage over traditional ASICs. However, they do not yet enjoy high-level language programmability, as…

Hardware Architecture · Computer Science 2011-11-09 Zhi Guo , Betul Buyukkurt , Walid Najjar , Kees Vissers

Domain-specific languages (DSLs) are both pervasive and powerful, but remain difficult to integrate into large projects. As a result, while DSLs can bring distinct advantages in performance, reliability, and maintainability, their use often…

Programming Languages · Computer Science 2020-10-19 Hal Finkel , Alexander McCaskey , Tobi Popoola , Dmitry Lyakh , Johannes Doerfert

Dataflow languages provide natural support for specifying constraints between objects in dynamic applications, where programs need to react efficiently to changes of their environment. Researchers have long investigated how to take…

Programming Languages · Computer Science 2011-04-13 Camil Demetrescu , Irene Finocchi , Andrea Ribichini

R is a robust open-source programming language mainly used for statistical computing . Many areas of statistical research are experiencing rapid growth in the size of data sets. Methodological advances drive increased use of simulations. A…

Programming Languages · Computer Science 2019-04-10 Rahim K. Charania
‹ Prev 1 4 5 6 7 8 10 Next ›