Zobrazeno 1 - 10
of 44
pro vyhledávání: '"Jaakko Järvi"'
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:
Journal of Computer Languages. 74:101175
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
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
Publikováno v:
GPCE
GUIs often contain structures that are incidental, not properly manipulatable through well-defined APIs. For example, modifying a list of items in a GUI's model may require extraneous bookkeeping operations in the view, such as adding and removing ev
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
Autor:
Jaakko Järvi, Xiaolong Tang
Publikováno v:
Science of Computer Programming. 97:320-330
Compilers are typically hardwired to attempt many optimizations only on expressions that involve particular built-in types. Ideally, however, an optimizing compiler would recognize a rewrite opportunity for user-defined types as well, whenever the op
Autor:
Jaakko Järvi, Yuriy Solodkyy
Publikováno v:
Science of Computer Programming. 76:290-306
Type systems built directly into the compiler or interpreter of a programming language cannot be easily extended to keep track of run-time invariants of new abstractions. Yet, programming with domain-specific abstractions could benefit from additiona
Autor:
Jaakko Järvi, John Freeman
Publikováno v:
Science of Computer Programming. 75:762-772
A style of programming that uses higher-order functions has become common in C++, following the introduction of the Standard Template Library (STL) into the standard library. In addition to their utility as arguments to STL algorithms, function param