Search Results - "Array Programming"

Structuring Arrays with Algebraic Shapes

Authors: Jakub Bachurski Alan Mycroft Dominic Orchard et al.

Contributors: Jakub Bachurski Alan Mycroft Dominic Orchard et al.

Source: Proceedings of the 11th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming. :1-16

Subject Terms: type system, structural subtyping, pointful array programming

File Description: application/pdf

Access URL: https://www.repository.cam.ac.uk/handle/1810/387179
https://doi.org/10.1145/3736112.3736141

AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming

Authors: Robert Schenck Nikolaj Hey Hinnerskov Troels Henriksen et al.

Source: 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

Subject Terms: array programming, data parallelism, constraint-based type systems

File Description: application/pdf

Polymorphic Types with Polynomial Sizes

Authors: Colaço, Jean-Louis Pauget, Baptiste Pouzet, Marc et al.

Contributors: Colaço, Jean-Louis Pauget, Baptiste Pouzet, Marc et al.

Source: Proceedings of the 9th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming. :36-49

Subject Terms: array programming, Type systems, [INFO] Computer Science [cs]

File Description: application/pdf

Access URL: https://hal.science/hal-04491216v1/document
https://doi.org/10.1145/3589246.3595372
https://hal.science/hal-04491216v1

MorphoGen: Topology optimization software for Extremely Modular Systems

Authors: Piotr Tauzowski Bartlomiej Blachowski Ela Zawidzka et al.

Source: SoftwareX, Vol 27, Iss , Pp 101797- (2024)

Subject Terms: Stress Constrained Topology Optimization, Extremely Modular System, Object-oriented software architecture, MATLAB-based array programming, First Order Reliability Analysis, Computer software, QA76.75-76.765

File Description: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S2352711024001687; https://doaj.org/toc/2352-7110

Access URL: https://doaj.org/article/b235362a4bf94b5dbd8a761fee777a3b

Programming languages: differences in approach to abstraction

Authors: Sprincean, C. Mihail-Veleşcu, L.

Source: Conferinţa tehnico-ştiinţifică a studenţilor, masteranzilor şi doctoranzilor (Vol.4)

Subject Terms: array programming, Lisp, imperative programming, functional programming, metaprogramming

File Description: application/pdf

Access URL: https://ibn.idsi.md/vizualizare_articol/225847

Wildfires

Authors: Oom, Duarte de Rigo, Daniele orcid:0000-0002-9244- et al.

Contributors: Oom, Duarte de Rigo, Daniele orcid:0000-0002-9244- et al.

Subject Terms: wildfires, Europe, fire risk, integrated modelling, multi-criteria analysis, semi-quantitative ranking, semantic array programming, uncertainty, wide-scale transdisciplinary modelling for environment, coupled human and natural systems, science-policy interface, robust modelling, aggregated index

Relation: https://zenodo.org/records/6045338; oai:zenodo.org:6045338; https://doi.org/10.5281/zenodo.6045338

Availability: https://doi.org/10.5281/zenodo.6045338
https://zenodo.org/records/6045338

Introduction to Assembly Language Programming: From Soup to Nuts: ARM Edition

Authors: Kann, Charles W.

Source: Open Educational Resources

Subject Terms: ARM, ARM CPU, CPU, Assembly, Assembly Language, Machine Code, ARM Machine Code, Operand2, Recursion, Array Programming, Procedural Programming, Raspberry Pi, Systems Architecture

File Description: application/pdf

Relation: https://cupola.gettysburg.edu/oer/8; https://cupola.gettysburg.edu/context/oer/article/1007/viewcontent/IntroductionToAssemblyLanguageProgramming_ARM.pdf

Availability: https://cupola.gettysburg.edu/oer/8
https://cupola.gettysburg.edu/context/oer/article/1007/viewcontent/IntroductionToAssemblyLanguageProgramming_ARM.pdf

Low-level functional GPU programming for parallel algorithms

Authors: Dybdal, Martin Elsman, Martin Svensson, Bo Joel et al.

Source: Proceedings of the 5th International Workshop on Functional High-Performance Computing. :31-37

Subject Terms: hierarchical machine models, array-programming, push-arrays, pull-arrays, iteration schemes, 0202 electrical engineering, electronic engineering, information engineering, Type systems, data-parallel languages, GPU programming, 02 engineering and technology

Transformations for Array programming

Authors: Abusdal, Ole Jørgen

Availability: https://hdl.handle.net/1956/22284

A Composable Array Function Interface for Heterogeneous Computing in Java

Authors: Fumero, Juan José Steuwer, Michel Dubach, Christophe

Source: Fumero, J J, Steuwer, M & Dubach, C 2014, A Composable Array Function Interface for Heterogeneous Computing in Java . in Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming . New York, NY, USA, pp. 44-49 . https://doi.org/10.1145/2627373.2627381

Subject Terms: QA75, Array programming, GPGPU, Patterns, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

File Description: application/pdf

Access URL: https://www.pure.ed.ac.uk/ws/files/20099389/array14_jjfumero.pdf
https://eprints.gla.ac.uk/148977/7/148977.pdf
http://www.research.ed.ac.uk/portal/files/20099389/array14_jjfumero.pdf
https://dl.acm.org/citation.cfm?id=2627381
http://eprints.gla.ac.uk/148977/
https://dl.acm.org/doi/10.1145/2627373.2627381
https://www.research.ed.ac.uk/portal/files/20099389/array14_jjfumero.pdf
https://core.ac.uk/display/43714505
https://hdl.handle.net/20.500.11820/fcfb2bb2-1ffd-4a07-a4bb-a83df4248338
https://www.pure.ed.ac.uk/ws/files/20099389/array14_jjfumero.pdf

A Data-driven Model for Large Wildfire Behaviour Prediction in Europe

Authors: D. Rodriguez Aseretto DE RIGO, DANIELE M. Di Leo et al.

Source: Procedia Computer Science. 18:1861-1870

Subject Terms: Approximate Dynamic Programming, European Forest Fire Information System, Joint Research Centre, EFFIS, Europe, Dynamic Data Driven Application Systems, DDDAS, semantic array programming, SemAP, wildfires, Wildfire Behaviour Modellig, environmental modelling, uncertainty, software uncertainty, ensembling, Partial Open Loop Feedback Control, 13. Climate action, Forest Fires, 0207 environmental engineering, Semantic Array Programming, 02 engineering and technology, 15. Life on land, 01 natural sciences, 0105 earth and related environmental sciences

Access URL: https://www.sciencedirect.com/science/article/abs/pii/S1877050913004985
https://dblp.uni-trier.de/db/conf/iccS/iccS2013.html#Rodriguez-AserettoRLCS13
https://core.ac.uk/display/55240187
https://www.sciencedirect.com/science/article/pii/S1877050913004985

An EDSL approach to high performance haskell programming

Authors: Ankner, Johan Svenningsson, Josef

Source: ACM SIGPLAN Notices. 48(12):1-11

Subject Terms: Array programming, EDSL, Optimization, Meta programming

Access URL: https://research.chalmers.se/publication/187537

Dependently typed array programs don’t go wrong

Authors: Trojahner, K. Grelck, C.

Source: The Journal of Logic and Algebraic Programming. 78:643-664

Subject Terms: Computational Theory and Mathematics, Logic, Program verification, Array programming, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Dependent types, Software, Theoretical Computer Science

File Description: application/pdf

Access URL: https://staff.fnwi.uva.nl/c.u.grelck/publications/TrojGrelNWPT07.pdf
http://dare.uva.nl/record/1/310901
http://www.dare.uva.nl/document/2/88204
https://doi.org/10.1016/j.jlap.2009.03.002
https://www.narcis.nl/publication/RecordID/oai%3Adare.uva.nl%3Apublications%2Ff5e7edc3-30f6-4fc9-903a-b886513faf9a
https://www.sciencedirect.com/science/article/pii/S1567832609000411

Latent Idiom Recognition for a Minimalist Functional Array Language using Equality Saturation

Authors: Jonathan Van der Cruysse Christophe Dubach

Subject Terms: equality saturation, functional programming, array programming, pattern matching, libraries

Relation: https://zenodo.org/records/8316752; oai:zenodo.org:8316752; https://doi.org/10.5281/zenodo.8316752

Availability: https://doi.org/10.5281/zenodo.8316752
https://zenodo.org/records/8316752

Declarative Parallel Programming in Spreadsheet End-User Development:A Literature Review

Authors: Biermann, Florian

Source: Biermann, F 2016, Declarative Parallel Programming in Spreadsheet End-User Development : A Literature Review. IT University Technical Report Series, no. TR-2016-192, TR-2016-192 edn, IT-Universitetet i København.

Subject Terms: Spreadsheets, Functional languages, End-user programming, Parallelization, Declarative array programming

File Description: application/pdf

Access URL: https://pure.itu.dk/ws/files/80807389/ITU_TR_2016_192.pdf

NumCIL and Bohrium: High Productivity and High Performance

Authors: Skovhede, Kenneth Lund, Simon Andreas Frimann

Source: Lecture Notes in Computer Science ISBN: 9783319321516

Subject Terms: Vector programming, High performance, High productivity, Bohrium, Array programming, C#, NumCIL

Access URL: https://rd.springer.com/chapter/10.1007%2F978-3-319-32152-3_16
https://link.springer.com/chapter/10.1007/978-3-319-32152-3_16
https://link.springer.com/chapter/10.1007/978-3-319-32152-3_16/fulltext.html

Maximum habitat suitability map of Carpinus betulus (2006, FISE, RDS-MHSv0-3-2)

Subject Terms: Model: Relative Distance Similarity (RDS-MHS), FISE, Modelling paradigm: Geospatial Semantic Array Programming (GeoSemAP), Taxonomy division type: Broadleaved, Taxonomy family: Betulaceae, Modelled quantity: Maximum Habitat Suitability (MHS), Taxonomy species: Carpinus betulus, Taxonomy genus: Carpinus

Access URL: http://data.europa.eu/88u/dataset/3c19bf50-4af4-4ae3-9877-c7b3b587ea3e

Other URLs: http://data.europa.eu/88u/dataset/3c19bf50-4af4-4ae3-9877-c7b3b587ea3e

Distribution map of Pinus pinea (2006, FISE, C-SMFAv0-3-2)

Subject Terms: Modelling paradigm: Geospatial Semantic Array Programming (GeoSemAP), FISE, Taxonomy division type: Conifers, Modelled quantity: Relative Probability of Presence (RPP), Model: Constrained Spatial Multi-scale Frequency Analysis (C-SMFA), Taxonomy family: Pinaceae, Taxonomy species: Pinus pinea, Taxonomy genus: Pinus

Access URL: http://data.europa.eu/88u/dataset/3e756ae6-c611-4fb3-848b-c2daa596dfe3

Other URLs: http://data.europa.eu/88u/dataset/3e756ae6-c611-4fb3-848b-c2daa596dfe3

Maximum habitat suitability map of Quercus pubescens (2006, FISE, RDS-MHSv0-3-2)

Subject Terms: Model: Relative Distance Similarity (RDS-MHS), FISE, Modelling paradigm: Geospatial Semantic Array Programming (GeoSemAP), Taxonomy division type: Broadleaved, Taxonomy family: Fagaceae, Modelled quantity: Maximum Habitat Suitability (MHS), Taxonomy species: Quercus pubescens, Taxonomy genus: Quercus

Access URL: http://data.europa.eu/88u/dataset/41426e00-3349-4034-be22-6b8747c7f97e

Other URLs: http://data.europa.eu/88u/dataset/41426e00-3349-4034-be22-6b8747c7f97e

Maximum habitat suitability map of Fraxinus ornus (2006, FISE, RDS-MHSv0-3-2)

Subject Terms: Model: Relative Distance Similarity (RDS-MHS), FISE, Modelling paradigm: Geospatial Semantic Array Programming (GeoSemAP), Taxonomy division type: Broadleaved, Taxonomy family: Oleaceae, Modelled quantity: Maximum Habitat Suitability (MHS), Taxonomy species: Fraxinus ornus, Taxonomy genus: Fraxinus

Access URL: http://data.europa.eu/88u/dataset/461311c7-80b7-4156-9676-a44410ba0158

Other URLs: http://data.europa.eu/88u/dataset/461311c7-80b7-4156-9676-a44410ba0158