Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection.

Authors: Moine, Alexandre¹ (AUTHOR) alexandre.moine@nyu.edu, Charguéraud, Arthur² (AUTHOR) arthur.chargueraud@inria.fr, Pottier, François³ (AUTHOR) francois.pottier@inria.fr

Source: ACM Transactions on Programming Languages & Systems. Mar2025, Vol. 47 Issue 1, p1-71. 71p.

Subject Terms: Computer memory management, Parallel programs (Computer programs)

A comprehensive approach to conducting multi-criteria sensitivity analysis of computationally expensive multidimensional hydrodynamic-ecology models (MHEs).

Authors: Gebremariam, Seyoum Yami¹ (AUTHOR) Sgebremariam@mwdh2o.com

Source: Hydrological Sciences Journal/Journal des Sciences Hydrologiques. Aug2025, Vol. 70 Issue 10, p1700-1723. 24p.

Subject Terms: *Sensitivity analysis, *Parallel programs (Computer programs), *Climate change, *Ecological models

USING THE SPIN MODEL CHECKER FOR AUTO-TUNING HIGH-PERFORMANCE PROGRAMS.

Authors: Gorlatch, Sergei¹ (AUTHOR) gorlatch@uni-muenster.de, Garanina, Natalia^2,3 (AUTHOR), Staroletov, Sergey⁴ (AUTHOR)

Source: Journal of Mathematical Sciences. May2025, Vol. 290 Issue 5, p641-653. 13p.

Subject Terms: *High performance computing, *Parallel programs (Computer programs), *OpenCL (Computer program language), *Software verification, *Program transformation, *Mathematical optimization, *Modeling languages (Computer science), *Model validation

Employing MPI_T in MPI Advisor to optimize application performance.

Authors: Gallardo, Esthela¹ egallardo5@miners.utep.edu, Vienne, Jérôme², Fialho, Leonardo², Teller, Patricia¹, Browne, James²

Source: International Journal of High Performance Computing Applications. Nov2018, Vol. 32 Issue 6, p882-896. 15p.

Subject Terms: *High performance computing, *Information technology, *Wireless communications, Message passing (Computer science), Parallel programs (Computer programs)

A Capacity Augmentation Bound for Real-Time Constrained-Deadline Parallel Tasks Under GEDF.

Authors: Sun, Jinghao, Guan, Nan, Jiang, Xu, Chang, Shuangshuang, Guo, Zhishan, Deng, Qingxu, Yi, Wang

Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems. Nov2018, Vol. 37 Issue 11, p2200-2211. 12p.

Subject Terms: *Real-time computing, *Parallel programming, *Algorithms, Parallel programs (Computer programs), Directed acyclic graphs, Computer scheduling, Mathematical bounds, Multicore processors

High-Performance Computation of Bézier Surfaces on Parallel and Heterogeneous Platforms.

Authors: Cheikh, Faouzi A.¹, Palomar, Rafael^1,2, Elle, Ole J.^2,3, Gómez-Luna, Juan⁴, Olivares-Bueno, Joaquín⁴

Source: International Journal of Parallel Programming. Dec2018, Vol. 46 Issue 6, p1035-1062. 28p.

Subject Terms: Graphics processing units, Parallel programs (Computer programs), Heterogeneous computing, Texture analysis (Image processing), Mathematical physics

Non-Asymptotic Delay Bounds for Multi-Server Systems with Synchronization Constraints.

Authors: Fidler, Markus¹ markus.fidler@ikt.uni-hannover.de, Walker, Brenton¹ brenton.walker@ikt.uni-hannover.de, Jiang, Yuming² jiang@ntnu.no

Source: IEEE Transactions on Parallel & Distributed Systems. Jul2018, Vol. 29 Issue 7, p1545-1559. 15p.

Subject Terms: *Parallel processing, Parallel computers, Parallel programs (Computer programs), Synchronization, Machine learning

Queue Delegation Locking.

Authors: Klaftenegger, David¹, Sagonas, Konstantinos¹, Winblad, Kjell¹

Source: IEEE Transactions on Parallel & Distributed Systems. Mar2018, Vol. 29 Issue 3, p687-704. 18p.

Subject Terms: *Queueing networks, *Security systems, Parallel programs (Computer programs), Synchronization, Hardware

P3S: A Methodology to Analyze and Predict Application Scalability.

Authors: Panadero, Javier¹, Wong, Alvaro¹, Rexachs, Dolores¹, Luque, Emilio¹

Source: IEEE Transactions on Parallel & Distributed Systems. Mar2018, Vol. 29 Issue 3, p642-658. 17p.

Subject Terms: *Scalability, *Application software, Parallel programs (Computer programs), Prediction theory, Message passing (Computer science)

Locality-aware task scheduling for homogeneous parallel computing systems.

Authors: Bhatti, Muhammad Khurram¹ khurram.bhatti@itu.edu.pk, Oz, Isil², Amin, Sarah¹, Mushtaq, Maria¹, Farooq, Umer³, Popov, Konstantin⁴, Brorsson, Mats⁵

Source: Computing. Jun2018, Vol. 100 Issue 6, p557-595. 39p.

Subject Terms: *Production scheduling, *Energy consumption, Parallel programs (Computer programs), Cache memory, Heuristic algorithms

Algorithms for Balanced Graph Colorings with Applications in Parallel Computing.

Authors: Lu, Hao¹, Halappanavar, Mahantesh², Chavarria-Miranda, Daniel², Gebremedhin, Assefaw H.¹, Panyala, Ajay², Kalyanaraman, Ananth¹

Source: IEEE Transactions on Parallel & Distributed Systems. May2017, Vol. 28 Issue 5, p1240-1256. 17p.

Subject Terms: Graph coloring, Parallel programs (Computer programs), Hardware, Heuristic algorithms, Multicore processors

Calculating Parallel Programs in Coq Using List Homomorphisms.

Authors: Loulergue, Frédéric frederic.loulergue@univ-orleans.fr, Bousdira, Wadoud¹ wadoud.bousdira@univ-orleans.fr, Tesson, Julien² Julien.Tesson@lacl.fr

Source: International Journal of Parallel Programming. Apr2017, Vol. 45 Issue 2, p300-319. 20p.

Subject Terms: *Parallel programming, *Programming languages, *Computer software, Parallel programs (Computer programs), Parallel computers

Multi-ML: Programming Multi-BSP Algorithms in ML.

Authors: Allombert, V.¹ victor.allombert@lacl.fr, Gava, F.¹ frederic.gava@univ-paris-est.fr, Tesson, J.¹ julien.tesson@univ-paris-est.fr

Source: International Journal of Parallel Programming. Apr2017, Vol. 45 Issue 2, p340-361. 22p.

Subject Terms: *Parallel programming, *Scalability, *Computer software, *Computer architecture, Parallel programs (Computer programs)

Automatic CPU/GPU Generation of Multi-versioned OpenCL Kernels for C++ Scientific Applications.

Authors: Sotomayor, Rafael¹, Sanchez, Luis¹ lmsanche@inf.uc3m.es, Garcia Blas, Javier¹ fjblas@inf.uc3m.es, Fernandez, Javier¹, Garcia, J.¹ josedaniel.garcia@uc3m.es

Source: International Journal of Parallel Programming. Apr2017, Vol. 45 Issue 2, p262-282. 21p.

Subject Terms: *Parallel programming, *Computer software developers, *Computer software development, *Computer multitasking, Parallel programs (Computer programs), Parallel computers

Monte Carlo Method Simulation for Two-Dimensional Heat Transfer in Homogenous Medium and Proposed Application to Quench Propagation Simulation.

Authors: Bahadori, Reza¹, Gutierrez, Hector¹, Manikonda, Shashikant², Meinke, Rainer²

Source: IEEE Transactions on Applied Superconductivity. Jun2017 Part 1, Vol. 27 Issue 4, Part 1, p1-5. 5p.

Subject Terms: *Monte Carlo method, *Finite element method, Parallel programs (Computer programs), Superconducting coils, Heat transfer

Reducing scheduling sequences of message-passing parallel programs.

Authors: Gong, Dunwei^1,2 dwgong@vip.163.com, Zhang, Chen¹, Tian, Tian³, Li, Zheng⁴

Source: Information & Software Technology. Dec2016, Vol. 80, p217-230. 14p.

Subject Terms: *Bandwidths, Message passing (Computer science), Parallel programs (Computer programs), Computer software testing, Computational complexity

Algorithm 956.

Authors: Aruliah, D. A., Veen, Lennaert Van, Dubitski, Alex

Source: ACM Transactions on Mathematical Software. Feb2016, Vol. 42 Issue 1, p1-18. 18p.

Subject Terms: *Approximation theory, *Functional analysis, Parallel programs (Computer programs), Approximate solutions (Logic), Nonlinear equations

MapReduce Parallel Programming Model: A State-of-the-Art Survey.

Authors: Li, Ren¹ renli@cqjtu.edu.cn, Hu, Haibo² hbhu@cqu.edu.cn, Li, Heng² liheng@cqu.edu.cn, Wu, Yunsong³ yswu@cqu.edu.cn, Yang, Jianxi¹ yjx@cquc.edu.cn

Source: International Journal of Parallel Programming. Aug2016, Vol. 44 Issue 4, p832-866. 35p.

Subject Terms: *Big data, *Open source software, *Scalability, Parallel programs (Computer programs), Cloud computing

A Generic Implementation of Tree Skeletons.

Authors: Sato, Shigeyuki¹ sato@ipl.cs.uec.ac.jp, Matsuzaki, Kiminori² matsuzaki.kiminori@kochi-tech.ac.jp

Source: International Journal of Parallel Programming. Jun2016, Vol. 44 Issue 3, p686-707. 22p.

Subject Terms: *Parallel programming, *Databases, Parallel programs (Computer programs), Turbo codes, Modular arithmetic

DVM-Approach to the Automation of the Development of Parallel Programs for Clusters.

Authors: Bakhtin, V. A.^1,2 (AUTHOR) bakhtin@keldysh.ru, Krukov, V. A.^1,2 (AUTHOR) krukov@keldysh.ru

Source: Programming & Computer Software. May2019, Vol. 45 Issue 3, p121-132. 12p.

Subject Terms: *Parallel programs (Computer programs), *Computer workstation clusters, *Parallel programming, *Automation