Suchergebnisse - "array programming"

Getting to the point: index sets and parallelism-preserving autodiff for pointful array programming von Paszke, Adam, Johnson, Daniel D., Duvenaud, David, Vytiniotis, Dimitrios, Radul, Alexey, Johnson, Matthew J., Ragan-Kelley, Jonathan, Maclaurin, Dougal

“… We present a novel programming language design that attempts to combine the clarity and safety of high-level functional languages with the efficiency and …”
Volltext

Compilation of sparse array programming models von Henry, Rawn, Hsu, Olivia, Yadav, Rohan, Chou, Stephen, Olukotun, Kunle, Amarasinghe, Saman, Kjolstad, Fredrik

“… This paper shows how to compile sparse array programming languages. A sparse array programming language is an array programming language that supports …”
Volltext

A Novel Array Programming Scheme for Large Matrix Processing in Flash-Based Computing-in-Memory (CIM) With Ultrahigh Bit Density von Feng, Yang, Zhang, Dong, Zhao, Guoqing, Sun, Zhaohui, Bai, Maoying, Qi, Yueran, Gong, Xiao, Liu, Jing, Zhang, Junyu, Wu, Jixuan, Zhan, Xuepeng, Chen, Jiezhi

“… Computing-in-memory (CIM) architecture is a promising approach to breaking the bottleneck in von Neumann' architecture. To shed light on large matrix …”
Volltext

Verified tensor-program optimization via high-level scheduling rewrites von Liu, Amanda, Bernstein, Gilbert Louis, Chlipala, Adam, Ragan-Kelley, Jonathan

“… We present a lightweight Coq framework for optimizing tensor kernels written in a pure, functional array language. Optimizations rely on user scheduling using …”
Volltext

AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming von Schenck, Robert, Hinnerskov, Nikolaj Hey, Henriksen, Troels, Madsen, Magnus, Elsman, Martin

“… Dynamically typed array languages such as Python, APL, and Matlab lift scalar operations to arrays and replicate scalars to fit applications. We present a …”
Volltext

Correctness Meets Performance: From Agda to Futhark von Šinkarovs, Artjoms, Henriksen, Troels

“… In this paper we demonstrate a technique for developing high performance applications with strong correctness guarantees. Using a theorem prover, we derive a …”
Volltext

MorphoGen: Topology optimization software for Extremely Modular Systems von Tauzowski, Piotr, Blachowski, Bartlomiej, Zawidzka, Ela, Zawidzki, Machi

“… This paper introduces MorphoGen — an integrated reliability-based topology optimization and nonlinear finite element analysis system for 2D and 3D domains. The …”
Volltext

A Verified Compiler for a Functional Tensor Language von Liu, Amanda, Bernstein, Gilbert, Chlipala, Adam, Ragan-Kelley, Jonathan

“… Producing efficient array code is crucial in high-performance domains like image processing and machine learning. It requires the ability to control factors …”
Volltext

Compilation of Shape Operators on Sparse Arrays von Root, Alexander J, Yan, Bobby, Liu, Peiming, Gyurgyik, Christophe, Bik, Aart J.C., Kjolstad, Fredrik

“… We show how to build a compiler for a sparse array language that supports shape operators such as reshaping or concatenating arrays, in addition to compute …”
Volltext

APL since 1978 von Hui, Roger K. W., Kromberg, Morten J.

“… The Evolution of APL , the HOPL I paper by Falkoff and Iverson on APL, recounted the fundamental design principles which shaped the implementation of the APL …”
Volltext

Latent Idiom Recognition for a Minimalist Functional Array Language Using Equality Saturation von Van Der Cruysse, Jonathan, Dubach, Christophe

“… Accelerating programs is typically done by recognizing code idioms matching high-performance libraries or hardware interfaces. However, recognizing such idioms …”
Volltext

Persistent Asynchronous Adaptive Specialization for Generic Array Programming von Grelck, Clemens, Wiesinger, Heinrich

“… Generic array programming systematically abstracts from structural array properties such as shape and rank. As usual, generic programming comes at the price of …”
Volltext

A Data-driven Model for Large Wildfire Behaviour Prediction in Europe von Rodriguez-Aseretto, Dario, de Rigo, Daniele, Di Leo, Margherita, Cortés, Ana, San-Miguel-Ayanz, Jesús

“… The European Forest Fire Information System (EFFIS) has been established by the Joint Research Centre (JRC) and the Directorate General for Environment (DG …”
Volltext

Improving the game theoretic analysis of electricity auctions applied in medium markets von Zarei, Mohammad, Salami, Abolfazl

“… •A new algorithm is proposed to improve the game theoretic analysis of electricity auctions.•A new method is proposed to solve PCM and BCM auction …”
Volltext

Improving the DX for Newbie and Casual Array Developers von Thomas, David, Samadi, Will

“… Array programming languages offer unmatched expressiveness for array operations. Despite their relevance in machine learning and scientific computing, …”
Volltext

Merging compositions of array skeletons in SaC von Grelck, Clemens, Scholz, Sven-Bodo

Volltext

quAPL: Modeling Quantum Computation in an Array Programming Language von Nuncz-Corrales, Santiago, Frenkel, Marcos, Abreu, Bruno

“… Most contemporary quantum programming languages describe computation as circuits, using a host classical counterpart to drive the execution of quantum …”
Volltext

Merging compositions of array skeletons in S aC von Grelck, Clemens, Scholz, Sven-Bodo

“… The design of skeletons for expressing concurrent computations usually faces a conflict between software engineering demands and performance issues. Whereas …”
Volltext

MultiArray: a C++ library for generic programming with arrays von Garcia, Ronald, Lumsdaine, Andrew

“… In C++, multi‐dimensional arrays are often used but the language provides limited native support for them. The language, in its Standard Library, supplies …”
Volltext

Dependently typed array programs don’t go wrong von Trojahner, Kai, Grelck, Clemens

Volltext