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

Συγγραφείς: Moine, Alexandre¹ (AUTHOR) alexandre.moine@nyu.edu, Charguéraud, Arthur² (AUTHOR) arthur.chargueraud@inria.fr, Pottier, François³ (AUTHOR) francois.pottier@inria.fr

Πηγή: ACM Transactions on Programming Languages & Systems. Mar2025, Vol. 47 Issue 1, p1-71. 71p.

Θεματικοί όροι: Computer memory management, Parallel programs (Computer programs)

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

Συγγραφείς: Gebremariam, Seyoum Yami¹ (AUTHOR) Sgebremariam@mwdh2o.com

Πηγή: Hydrological Sciences Journal/Journal des Sciences Hydrologiques. Aug2025, Vol. 70 Issue 10, p1700-1723. 24p.

Θεματικοί όροι: *Sensitivity analysis, *Parallel programs (Computer programs), *Climate change, *Ecological models

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

Συγγραφείς: Gorlatch, Sergei¹ (AUTHOR) gorlatch@uni-muenster.de, Garanina, Natalia^2,3 (AUTHOR), Staroletov, Sergey⁴ (AUTHOR)

Πηγή: Journal of Mathematical Sciences. May2025, Vol. 290 Issue 5, p641-653. 13p.

Θεματικοί όροι: *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.

Συγγραφείς: Gallardo, Esthela¹ egallardo5@miners.utep.edu, Vienne, Jérôme², Fialho, Leonardo², Teller, Patricia¹, Browne, James²

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

Θεματικοί όροι: *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.

Συγγραφείς: Sun, Jinghao, Guan, Nan, Jiang, Xu, Chang, Shuangshuang, Guo, Zhishan, Deng, Qingxu, Yi, Wang

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

Θεματικοί όροι: *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.

Συγγραφείς: Cheikh, Faouzi A.¹, Palomar, Rafael^1,2, Elle, Ole J.^2,3, Gómez-Luna, Juan⁴, Olivares-Bueno, Joaquín⁴

Πηγή: International Journal of Parallel Programming. Dec2018, Vol. 46 Issue 6, p1035-1062. 28p.

Θεματικοί όροι: 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.

Συγγραφείς: Fidler, Markus¹ markus.fidler@ikt.uni-hannover.de, Walker, Brenton¹ brenton.walker@ikt.uni-hannover.de, Jiang, Yuming² jiang@ntnu.no

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

Θεματικοί όροι: *Parallel processing, Parallel computers, Parallel programs (Computer programs), Synchronization, Machine learning

Queue Delegation Locking.

Συγγραφείς: Klaftenegger, David¹, Sagonas, Konstantinos¹, Winblad, Kjell¹

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

Θεματικοί όροι: *Queueing networks, *Security systems, Parallel programs (Computer programs), Synchronization, Hardware

P3S: A Methodology to Analyze and Predict Application Scalability.

Συγγραφείς: Panadero, Javier¹, Wong, Alvaro¹, Rexachs, Dolores¹, Luque, Emilio¹

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

Θεματικοί όροι: *Scalability, *Application software, Parallel programs (Computer programs), Prediction theory, Message passing (Computer science)

Locality-aware task scheduling for homogeneous parallel computing systems.

Συγγραφείς: Bhatti, Muhammad Khurram¹ khurram.bhatti@itu.edu.pk, Oz, Isil², Amin, Sarah¹, Mushtaq, Maria¹, Farooq, Umer³, Popov, Konstantin⁴, Brorsson, Mats⁵

Πηγή: Computing. Jun2018, Vol. 100 Issue 6, p557-595. 39p.

Θεματικοί όροι: *Production scheduling, *Energy consumption, Parallel programs (Computer programs), Cache memory, Heuristic algorithms

Algorithms for Balanced Graph Colorings with Applications in Parallel Computing.

Συγγραφείς: Lu, Hao¹, Halappanavar, Mahantesh², Chavarria-Miranda, Daniel², Gebremedhin, Assefaw H.¹, Panyala, Ajay², Kalyanaraman, Ananth¹

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

Θεματικοί όροι: Graph coloring, Parallel programs (Computer programs), Hardware, Heuristic algorithms, Multicore processors

Calculating Parallel Programs in Coq Using List Homomorphisms.

Συγγραφείς: Loulergue, Frédéric frederic.loulergue@univ-orleans.fr, Bousdira, Wadoud¹ wadoud.bousdira@univ-orleans.fr, Tesson, Julien² Julien.Tesson@lacl.fr

Πηγή: International Journal of Parallel Programming. Apr2017, Vol. 45 Issue 2, p300-319. 20p.

Θεματικοί όροι: *Parallel programming, *Programming languages, *Computer software, Parallel programs (Computer programs), Parallel computers

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

Συγγραφείς: Allombert, V.¹ victor.allombert@lacl.fr, Gava, F.¹ frederic.gava@univ-paris-est.fr, Tesson, J.¹ julien.tesson@univ-paris-est.fr

Πηγή: International Journal of Parallel Programming. Apr2017, Vol. 45 Issue 2, p340-361. 22p.

Θεματικοί όροι: *Parallel programming, *Scalability, *Computer software, *Computer architecture, Parallel programs (Computer programs)

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

Συγγραφείς: Sotomayor, Rafael¹, Sanchez, Luis¹ lmsanche@inf.uc3m.es, Garcia Blas, Javier¹ fjblas@inf.uc3m.es, Fernandez, Javier¹, Garcia, J.¹ josedaniel.garcia@uc3m.es

Πηγή: International Journal of Parallel Programming. Apr2017, Vol. 45 Issue 2, p262-282. 21p.

Θεματικοί όροι: *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.

Συγγραφείς: Bahadori, Reza¹, Gutierrez, Hector¹, Manikonda, Shashikant², Meinke, Rainer²

Πηγή: IEEE Transactions on Applied Superconductivity. Jun2017 Part 1, Vol. 27 Issue 4, Part 1, p1-5. 5p.

Θεματικοί όροι: *Monte Carlo method, *Finite element method, Parallel programs (Computer programs), Superconducting coils, Heat transfer

Reducing scheduling sequences of message-passing parallel programs.

Συγγραφείς: Gong, Dunwei^1,2 dwgong@vip.163.com, Zhang, Chen¹, Tian, Tian³, Li, Zheng⁴

Πηγή: Information & Software Technology. Dec2016, Vol. 80, p217-230. 14p.

Θεματικοί όροι: *Bandwidths, Message passing (Computer science), Parallel programs (Computer programs), Computer software testing, Computational complexity

Algorithm 956.

Συγγραφείς: Aruliah, D. A., Veen, Lennaert Van, Dubitski, Alex

Πηγή: ACM Transactions on Mathematical Software. Feb2016, Vol. 42 Issue 1, p1-18. 18p.

Θεματικοί όροι: *Approximation theory, *Functional analysis, Parallel programs (Computer programs), Approximate solutions (Logic), Nonlinear equations

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

Συγγραφείς: 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

Πηγή: International Journal of Parallel Programming. Aug2016, Vol. 44 Issue 4, p832-866. 35p.

Θεματικοί όροι: *Big data, *Open source software, *Scalability, Parallel programs (Computer programs), Cloud computing

A Generic Implementation of Tree Skeletons.

Συγγραφείς: Sato, Shigeyuki¹ sato@ipl.cs.uec.ac.jp, Matsuzaki, Kiminori² matsuzaki.kiminori@kochi-tech.ac.jp

Πηγή: International Journal of Parallel Programming. Jun2016, Vol. 44 Issue 3, p686-707. 22p.

Θεματικοί όροι: *Parallel programming, *Databases, Parallel programs (Computer programs), Turbo codes, Modular arithmetic

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

Συγγραφείς: Bakhtin, V. A.^1,2 (AUTHOR) bakhtin@keldysh.ru, Krukov, V. A.^1,2 (AUTHOR) krukov@keldysh.ru

Πηγή: Programming & Computer Software. May2019, Vol. 45 Issue 3, p121-132. 12p.

Θεματικοί όροι: *Parallel programs (Computer programs), *Computer workstation clusters, *Parallel programming, *Automation