*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 80

1

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*
2

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*
3

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*
4

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*
5

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*
6

Finite Group Tables in APL
Array programming languages; APL 2003

Lipovaca, S. ; Burchfield, J.
APL QUOTE QUAD. 33(PT 2):75-81

*Conference*
16

BITSLICE: Representation Without Taxation
Array programming languages; APL 2003

Bernecky, R. ; Wooster, P.
APL QUOTE QUAD. 33(PT 2):33-42

*Conference*
20

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*

*Filter*