Search Results - "Parallel Programs"
-
1
HPCTOOLKIT: tools for performance analysis of optimized parallel programs
ISSN: 1532-0626, 1532-0634Published: Chichester, UK John Wiley & Sons, Ltd 25.04.2010Published in Concurrency and computation (25.04.2010)“…HPCTOOLKIT is an integrated suite of tools that supports measurement, analysis, attribution, and presentation of application performance for both sequential and parallel programs…”
Get full text
Journal Article -
2
Bright z ∼ 9 Galaxies in Parallel: The Bright End of the Rest-frame UV Luminosity Function from HST Parallel Programs
ISSN: 0004-637X, 1538-4357Published: Philadelphia The American Astronomical Society 01.02.2024Published in The Astrophysical journal (01.02.2024)“…The abundance of bright galaxies at z > 8 can provide key constraints on models of galaxy formation and evolution, as the predicted abundance varies greatly…”
Get full text
Journal Article -
3
Analyzing Parallel Programs with PIN
ISSN: 0018-9162Published: New York, NY IEEE 01.03.2010Published in Computer (Long Beach, Calif.) (01.03.2010)“…Software instrumentation provides the means to collect information on and efficiently analyze parallel programs…”
Get full text
Journal Article -
4
Disentanglement in nested-parallel programs
ISSN: 2475-1421, 2475-1421Published: 01.01.2020Published in Proceedings of ACM on programming languages (01.01.2020)“…, Java, Haskell, and ML. Yet, writing efficient and scalable nested parallel programs remains challenging, primarily due to difficult concurrency bugs arising from destructive updates or effects…”
Get full text
Journal Article -
5
Structural testing for communication events into loops of message‐passing parallel programs
ISSN: 1532-0626, 1532-0634Published: Hoboken Wiley Subscription Services, Inc 25.09.2021Published in Concurrency and computation (25.09.2021)“…There is a growing demand for correct parallel programs, mainly due to nowadays availability of parallel architectures…”
Get full text
Journal Article -
6
The Role of Idle Waves, Desynchronization, and Bottleneck Evasion in the Performance of Parallel Programs
ISSN: 1045-9219, 1558-2183Published: New York IEEE 01.02.2023Published in IEEE transactions on parallel and distributed systems (01.02.2023)“…The performance of highly parallel applications on distributed-memory systems is influenced by many factors. Analytic performance modeling techniques aim to…”
Get full text
Journal Article -
7
Deductively Verifying Functional Scalable Parallel Programs with Why3
ISSN: 1619-1366, 1619-1374Published: Springer Verlag 2025Published in Software and systems modeling (2025)“…Bulk Synchronous Parallelism (BSP) is a simple, yet realistic, model of scalable parallel computing. BSML is a pure functional library for the multi-paradigm…”
Get full text
Journal Article -
8
Autotuning Parallel Programs by Model Checking
ISSN: 0146-4116, 1558-108XPublished: Moscow Pleiades Publishing 01.12.2022Published in Automatic control and computer sciences (01.12.2022)“…This paper presents a new approach to autotuning data-parallel programs. Autotuning is a search for optimal program settings, which maximize its performance…”
Get full text
Journal Article -
9
Automation of Debugging Parallel Programs in the DVM System
ISSN: 2070-0482, 2070-0490Published: Moscow Pleiades Publishing 01.12.2024Published in Mathematical models and computer simulations (01.12.2024)“…Debugging parallel programs is a labor-intensive and nontrivial task. Parallel algorithms are usually significantly more complex than their sequential counterparts for the same problems…”
Get full text
Journal Article -
10
Design-time performance modeling of compositional parallel programs
ISSN: 0167-8191, 1872-7336Published: Netherlands Elsevier B.V 01.12.2021Published in Parallel computing (01.12.2021)“…Performance models are powerful instruments for understanding the performance of parallel systems and uncovering their bottlenecks. Already during system…”
Get full text
Journal Article -
11
Improving Cache Utilization of Nested Parallel Programs by Almost Deterministic Work Stealing
ISSN: 1045-9219, 1558-2183Published: New York IEEE 01.12.2022Published in IEEE transactions on parallel and distributed systems (01.12.2022)“…Nested (fork-join) parallelism eases parallel programming by enabling high-level expression of parallelism and leaving the mapping between parallel tasks and…”
Get full text
Journal Article -
12
TAPAS: generating parallel accelerators from parallel programs
ISBN: 9781538662403, 153866240XPublished: Piscataway, NJ, USA IEEE Press 20.10.2018Published in 2018 51st Annual IEEE ACM International Symposium on Microarchitecture (MICRO) (20.10.2018)“…High-level-synthesis (HLS) tools generate accelerators from software programs to ease the task of building hardware. Unfortunately, current HLS tools have…”
Get full text
Conference Proceeding -
13
Reversing Imperative Parallel Programs
ISSN: 2075-2180, 2075-2180Published: Open Publishing Association 31.08.2017Published in Electronic proceedings in theoretical computer science (31.08.2017)“…We propose an approach and a subsequent extension for reversing imperative programs. Firstly, we produce both an augmented version and a corresponding inverted…”
Get full text
Journal Article -
14
Visualizing a Moving Target: A Design Study on Task Parallel Programs in the Presence of Evolving Data and Concerns
ISSN: 1077-2626, 1941-0506, 1941-0506Published: United States IEEE 01.01.2020Published in IEEE transactions on visualization and computer graphics (01.01.2020)“…Common pitfalls in visualization projects include lack of data availability and the domain users' needs and focus changing too rapidly for the design process…”
Get full text
Journal Article -
15
Design-time performance modeling of compositional parallel programs
ISSN: 0167-8191, 1872-7336Published: United States Elsevier 11.09.2021Published in Parallel computing (11.09.2021)“…Performance models are powerful instruments for understanding the performance of parallel systems and uncovering their bottlenecks. Already during system…”
Get full text
Journal Article -
16
A novel method of grouping target paths for parallel programs
ISSN: 0167-8191Published: Elsevier B.V 01.09.2020Published in Parallel computing (01.09.2020)“…•The problem of grouping traget paths for parallel programs is focused on.•The measurement of the path similarity is refined when grouping target paths…”
Get full text
Journal Article -
17
A feedback-directed method of evolutionary test data generation for parallel programs
ISSN: 0950-5849, 1873-6025Published: Elsevier B.V 01.08.2020Published in Information and software technology (01.08.2020)“… Test data of a parallel program include not only the program input, but also the communication information between each pair of processes…”
Get full text
Journal Article -
18
Parallel programs execution optimization using behavior control in LuNA system
ISSN: 0920-8542, 1573-0484Published: New York Springer US 01.09.2021Published in The Journal of supercomputing (01.09.2021)“… This allows implementing the algorithm by automatic construction of various parallel programs, which possess different non-functional properties, such as execution time, memory consumption, network workload…”
Get full text
Journal Article -
19
Autotuning Parallel Programs by Model Checking
ISSN: 1818-1015, 2313-5417Published: Yaroslavl State University 18.12.2021Published in Modelirovanie i analiz informacionnyh sistem (18.12.2021)“…The paper presents a new approach to autotuning data-parallel programs. Autotuning is a search for optimal program settings which maximize its performance…”
Get full text
Journal Article -
20
Multi-Objective region-Aware optimization of parallel programs
ISSN: 0167-8191, 1872-7336Published: Elsevier B.V 01.04.2019Published in Parallel computing (01.04.2019)“…•A study of the computed trade-off in terms of the three considered criteria. Auto-tuning has become increasingly popular for optimizing non-functional parameters of parallel programs…”
Get full text
Journal Article

