Zobrazeno 1 - 10
of 43
pro vyhledávání: '"Magne Haveraaen"'
Publikováno v:
Frontiers in Computer Science, Vol 4 (2022)
The problem of producing portable high-performance computing (HPC) software that is cheap to develop and maintain is called the P3 (performance, portability, productivity) problem. Good solutions to the P3 problem have been achieved when the performa
Externí odkaz:
https://doaj.org/article/5857b685efa7450aa531cc641864c3d6
Publikováno v:
The Art, Science, and Engineering of Programming
Context Generic programming, as defined by Stepanov, is a methodology for writing efficient and reusable algorithms by considering only the required properties of their underlying data types and operations. Generic programming has proven to be an eff
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4b423640588d588d0900b89508b48b0b
http://arxiv.org/abs/2211.01678
http://arxiv.org/abs/2211.01678
Publikováno v:
ARRAY@PLDI
Multi-dimensional array manipulation constitutes a core component of numerous numerical methods, e.g. finite difference solvers of Partial Differential Equations (PDEs). The efficiency of such computations is tightly connected to traversing array dat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b72201df29e8b36f02a9318f86d1b829
https://doi.org/10.1145/3460944.3464311
https://doi.org/10.1145/3460944.3464311
Autor:
Magne Haveraaen
Publikováno v:
Communications in Computer and Information Science ISBN: 9783030713737
The intricacies of programming demands a precise understanding of a programming language, its libraries and its conventions. Programming education normally does not emphasise this well enough, often leaving technicalities vague and omitting corner ca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0aa60f05100248933ee4b123cfa605f4
https://doi.org/10.1007/978-3-030-71374-4_2
https://doi.org/10.1007/978-3-030-71374-4_2
Autor:
Magne Haveraaen, Jaakko Järvi
Publikováno v:
Journal of Logical and Algebraic Methods in Programming
Multiway dataflow constraint systems (MDCS) is a programming model where statements are not executed in a predetermined order. Rather, individual methods are selected from specific method sets and then executed to achieve a desired global state. The
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::54543a5d8ef5249df8698bc7d22b66f4
https://hdl.handle.net/11250/2787614
https://hdl.handle.net/11250/2787614
Autor:
Marie Farrell, Sebastian Krings, Peter Csaba Ölveczky, Rustam Zhumagambetov, Philipp Körner, Nikolay V. Shilov, Faron Moller, Markus Roggenbach, James H. Davenport, Antonio Cerone, Bernd Holger Schlingloff, Magne Haveraaen, Casey Denner
Publikováno v:
Communications in Computer and Information Science ISBN: 9783030713737
This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study. To this end, it advocates
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e9a22dbed2d27a4141b9ef9a322ef160
https://cronfa.swan.ac.uk/Record/cronfa60461
https://cronfa.swan.ac.uk/Record/cronfa60461
Autor:
Magne Haveraaen, Markus Roggenbach
Publikováno v:
Journal of Logical and Algebraic Methods in Programming
We propose a framework, syntactic theory functors (STFs), for creating syntactic structuring mechanisms for specification languages. Good support for common reuse patterns is important for systematically developing specifications for large systems. T
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f59571a8cedbe597eb7fb858e96c6a01
https://hdl.handle.net/11250/2787611
https://hdl.handle.net/11250/2787611
Autor:
Jaakko Järvi, Benjamin Chetioui, Ole Abusdal, Magne Haveraaen, Sandra Macià, Lenore R. Mullin
Publikováno v:
ARRAY@PLDI
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instname
Numerous scientific-computational domains make use of array data. The core computing of the numerical methods and the algorithms involved is related to multi-dimensional array manipulation. Memory layout and the access patterns of that data are cruci
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::20abf2e67b9eb383a6ef339fcdff4669
https://doi.org/10.1145/3315454.3329954
https://doi.org/10.1145/3315454.3329954
Autor:
Julianne Sansa-Otim, Doreen Tuheirwe-Mukasa, Magne Haveraaen, Godfrey Rwamahe Mujuni, Benjamin Kanagwa
Publikováno v:
Climate Change Management ISBN: 9783030129736
Information and communication technology (ICT) has pervaded all spheres of life from the upscale rich to the rural poor in developing countries. ICT is increasingly being harnessed universally to better the quality of life of communities. This chapte
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d9b0e89dea81d9c67aaad644f9ec6a7d
https://doi.org/10.1007/978-3-030-12974-3_25
https://doi.org/10.1007/978-3-030-12974-3_25
Autor:
Magne Haveraaen
Publikováno v:
ARRAY@PLDI
Software correctness in general is a hard problem, and especially so for high performance computing (HPC). One problem being that array layout and traversal may depend on array size and hardware properties (cache size, core count, etc), making verifi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1df3d705a6966a5b9940d353c5e5d06a
https://doi.org/10.1145/3219753.3219759
https://doi.org/10.1145/3219753.3219759