*Search Results* - "array programming"

sublabel_EDS

*license_notice_EDS_guest_loggedout* *Login*

1
2
3
4
*Next*

Correctness Meets Performance:From Agda to Futhark
Sinkarovs, Artjoms ; Henriksen, Troels
Sinkarovs , A & Henriksen , T 2025 , ' Correctness Meets Performance : From Agda to Futhark ' , Proceedings of the Acm on Programming Languages-pacmpl , vol. 9 , no. ICFP , 255 . https://doi.org/10.1145/3747524

Additional Key Words and... Agda Array Programming Automatic Differentiatio... Dependent Types Futhark

*Academic Journal*

*CL-Check availability*

MorphoGen: Topology optimization software for Extremely Modular Systems
Piotr Tauzowski ; Bartlomiej Blachowski ; Ela Zawidzka ; et al.
SoftwareX, Vol 27, Iss , Pp 101797- (2024)

Stress Constrained Topol... Extremely Modular System Object-oriented software... MATLAB-based array progr... First Order Reliability... Computer software …

*Academic Journal*

*CL-Zum Volltext (via DOI)*

AUTOMAP:Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
Schenck, Robert ; Hinnerskov, Nikolaj Hey ; Henriksen, Troels ; et al.
Schenck, R, Hinnerskov, N H, Henriksen, T, Madsen, M & Elsman, M 2024, 'AUTOMAP : Inferring Rank-Polymorphic Function Applications with Integer Linear Programming', Proceedings of the ACM on Programming Languages , vol. 8, no. OOPSLA2, 334, pp. 1787-1813. https://doi.org/10.1145/3689774

array programming constraint-based type sy... data parallelism

*Academic Journal*

*CL-Check availability*

Introduction to Assembly Language Programming: From Soup to Nuts: ARM Edition
Kann, Charles W.
Open Educational Resources

ARM ARM CPU CPU Assembly Assembly Language Machine Code …

*Book*

*CL-Check availability*

Improving the game theoretic analysis of electricity auctions applied in medium markets
Zarei, Mohammad ; Salami, Abolfazl
In Journal of Computational Science November 2016 17 Part 1:83-96

*Academic Journal*

*CL-View this record from ScienceDirect*

Finite Group Tables in APL
Array programming languages; APL 2003
Lipovaca, S. ; Burchfield, J.
APL QUOTE QUAD. 33(PT 2):75-81

*Conference*

*CL-Check availability*

An SPMD/SIMD Parallel Tokenizer for APL
Array programming languages; APL 2003
Bernecky, R.
APL QUOTE QUAD. 33(PT 2):21-32

*Conference*

*CL-Check availability*

Interesting Inner-Product Scans
Array programming languages; APL 2003
Jones, C. A.
APL QUOTE QUAD. 33(PT 2):70-74

*Conference*

*CL-Check availability*

Bit Arrays from Row and Column Sums
Array programming languages; APL 2003
Selfridge, R. G.
APL QUOTE QUAD. 33(PT 2):97-105

*Conference*

*CL-Check availability*

Instructor - A New Technique of Guiding the User in Simulation Software
Array programming languages; APL 2003
Reichard, G.
APL QUOTE QUAD. 33(PT 2):82-88

*Conference*

*CL-Check availability*

Simulated APL Session Manager
Array programming languages; APL 2003
Saigusa, K.
APL QUOTE QUAD. 33(PT 2):89-96

*Conference*

*CL-Check availability*

A Generating Function that Counts the Combinatorial Full-Span Sub Array Structure of a Regular Array with Some Applications to APL
Array programming languages; APL 2003
Frank, R. I.
APL QUOTE QUAD. 33(PT 2):63-69

*Conference*

*CL-Check availability*

A New 'Dual-View' Diagram of Array Structure
Array programming languages; APL 2003
Frank, R. I.
APL QUOTE QUAD. 33(PT 2):59-62

*Conference*

*CL-Check availability*

Simulating Ordered GRB Color Triples using J to Create Images with Gradients in Both Hue and Value
Array programming languages; APL 2003
Alvord, L. ; Traberman, T.
APL QUOTE QUAD. 33(PT 2):4-10

*Conference*

*CL-Check availability*

An Algorithm to Compute All Full-Span Sub Arrays of a Regular Array
Array programming languages; APL 2003
Frank, R. I.
APL QUOTE QUAD. 33(PT 2):48-58

*Conference*

*CL-Check availability*

BITSLICE: Representation Without Taxation
Array programming languages; APL 2003
Bernecky, R. ; Wooster, P.
APL QUOTE QUAD. 33(PT 2):33-42

*Conference*

*CL-Check availability*

Useful Formulas for Multidimensional Arrays
Array programming languages; APL 2003
Eriksson-Bique, S.
APL QUOTE QUAD. 33(PT 2):43-47

*Conference*

*CL-Check availability*

NAVPLANR - Flight Planning Software for Pilots
Array programming languages; APL 2003
Baronet, D.
APL QUOTE QUAD. 33(PT 2):16-20

*Conference*

*CL-Check availability*

Multidimensional Corporate Analysis: Analytical and Graphical Approaches
Array programming languages; APL 2003
Annibali, A. ; Bellini, F.
APL QUOTE QUAD. 33(PT 2):11-15

*Conference*

*CL-Check availability*

A Data-driven Model for Large Wildfire Behaviour Prediction in Europe
Rodriguez-Aseretto, Dario ; de Rigo, Daniele ; Di Leo, Margherita ; et al.
In Procedia Computer Science 2013 18:1861-1870

*Academic Journal*

*CL-View this record from ScienceDirect*

1
2
3
4
*Next*

*sublabel_EDS*

*Showing* 1 - 20 *of* 80

*pagination*

*pagination*

*Refine Results*

sublabel_EDS

Showing 1 - 20 of 80

pagination

pagination

Refine Results