Treffer 1 - 20 von 80

    Seite in der Trefferliste auswählen

  • 1
  • 2
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
Fachzeitschrift
Merkliste
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
Fachzeitschrift
Merkliste
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
Fachzeitschrift
Merkliste
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
Buch
Merkliste
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

Fachzeitschrift
Merkliste
6

Finite Group Tables in APL
Array programming languages; APL 2003

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

Konferenz
Merkliste
8

Interesting Inner-Product Scans
Array programming languages; APL 2003

Jones, C. A.
APL QUOTE QUAD. 33(PT 2):70-74

Konferenz
Merkliste
9

Bit Arrays from Row and Column Sums
Array programming languages; APL 2003

Selfridge, R. G.
APL QUOTE QUAD. 33(PT 2):97-105

Konferenz
Merkliste
11

Simulated APL Session Manager
Array programming languages; APL 2003

Saigusa, K.
APL QUOTE QUAD. 33(PT 2):89-96

Konferenz
Merkliste
16

BITSLICE: Representation Without Taxation
Array programming languages; APL 2003

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

Konferenz
Merkliste
17
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

Fachzeitschrift
Merkliste

    Seite in der Trefferliste auswählen

  • 1
  • 2

Filter