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 Constructive Method for Resolving Multiple Access Conflicts in Process-Oriented Programs

Συγγραφείς: Permyashkin, D. A.^{Aff1, IDS8756699025700694_cor1}, Zyubin, V. E.^{Aff1, IDS8756699025700694_cor2}

Πηγή: Optoelectronics, Instrumentation and Data Processing. 61(5):613-619

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

Building execution plans for programs with maximum code density on a fixed set of parallel computers

Συγγραφείς: Valeriy M. Bakanov

Πηγή: Известия высших учебных заведений. Поволжский регион:Технические науки, Iss 1 (2023)

Θεματικοί όροι: analysis of the fine information structure of the program, representation of algorithms in graph form, tiered-parallel form of the information graph of the algorithm, equivalent transformations, rational parameters of execution of parallel programs, framework of execution of a parallel program, Technology

Περιγραφή αρχείου: electronic resource

Relation: https://doaj.org/toc/2072-3059

Σύνδεσμος πρόσβασης: https://doaj.org/article/acfc0286091d44258b8cb9473cf2ae1a

A Lightweight Modeling and Verification Framework for Programs Over Weak Memory Models in an Algebraic Semantics Style.

Συγγραφείς: Xiao, Lili, Zhu, Huibiao, Bowen, Jonathan P.

Πηγή: Journal of Software: Evolution & Process; Jul2026, Vol. 38 Issue 7, p1-21, 21p

Θεματικοί όροι: Consistency models (Computers), Programming language semantics, Semantics methodology, ARM microprocessors, Parallel programs (Computer programs), Software verification

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

Automatic mapping of sequential programs to parallel computers with distributed memory.

Συγγραφείς: Bagliy, A.P.¹ (AUTHOR) abagly@sfedu.ru, Krivosheev, N.M.¹ (AUTHOR), Steinberg, B.Ya¹ (AUTHOR)

Πηγή: Procedia Computer Science. 2023, Vol. 229, p236-244. 9p.

Θεματικοί όροι: Parallel programs (Computer programs), Computer storage devices, Cartography software, Distributed computing, Compilers (Computer programs), Computer systems

Specifying and Verifying Programs Over the MCA ARMv8 Architecture with TLA+.

Συγγραφείς: Xiao, Lili, Hou, Zhiru, Zhu, Huibiao, He, Mengda, Qin, Shengchao

Πηγή: Journal of Circuits, Systems & Computers; 1/15/2026, Vol. 35 Issue 1, p1-21, 21p

Θεματικοί όροι: Software verification, Computer architecture, Synchronization, Formal methods (Computer science), Formal languages, Parallel programs (Computer programs), Parallel processing

Preserving provability over GPU program optimizations with annotation-aware transformations.

Συγγραφείς: Şakar, Ömer, Safari, Mohsen, Huisman, Marieke, Wijs, Anton

Πηγή: Formal Methods in System Design; Dec2025, Vol. 67 Issue 3, p316-372, 57p

Θεματικοί όροι: Program transformation, Software verification, Optimization algorithms, Parallel programs (Computer programs), Scientific observation

Software complex for modeling and optimization of program implementation on parallel calculation systems

Συγγραφείς: Bakanov Valery

Πηγή: Open Computer Science, Vol 8, Iss 1, Pp 228-234 (2018)

Θεματικοί όροι: graph algorithm presentations, analysis of information program structure, line-parallel form (lpf) of information graph, rational parameters for execution of parallel programs, strategy for constructing a rational plan for the parallel program execution, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://doaj.org/toc/2299-1093

Σύνδεσμος πρόσβασης: https://doaj.org/article/767f7143fabe4e41b3c7876d0520d90e

Automatic differentiation for message-passing parallel programs

Συγγραφείς: Hovland, P., Bischof, C.

Πηγή: Proceedings of the First Merged International Parallel Processing Symposium and Symposium on Parallel and Distributed Processing Parallel processing. Parallel and distributed processing Parallel Processing Symposium, 1998. IPPS/SPDP 1998. Proceedings of the First Merged International ... and Symposium on Parallel and Distributed Processing 1998. :98-104 1998

Relation: Proceedings of the First Merged International Parallel Processing Symposium and Symposium on Parallel and Distributed Processing

Performance evaluation on work-stealing featured parallel programs on asymmetric performance multicore processors

Συγγραφείς: Adnan

Πηγή: Array, Vol 19, Iss , Pp 100311- (2023)

Θεματικοί όροι: Amdahl’s law, Speedup factor, Asymmetric performance, Multicore, Work stealing, Computer engineering. Computer hardware, TK7885-7895, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S259000562300036X; https://doaj.org/toc/2590-0056

Σύνδεσμος πρόσβασης: https://doaj.org/article/80661e3c3802406e9e0267f507e4aaee

Automation of Debugging Parallel Programs in the DVM System

Συγγραφείς: Bakhtin, V. A.^{Aff1, IDS2070048224700881_cor1}

Πηγή: Mathematical Models and Computer Simulations. 16(Suppl 2):S171-S180

Mapping graphs Of parallel programs onto graphs of distributed computer systems by recurrent neural networks

Συγγραφείς: Tarkov, Rzhanov’s

Πηγή: Optical Memory and Neural Networks: (Information Optics). June 2011 20(2):107-112

pCI: A parallel configuration interaction software package for high-precision atomic structure calculations

Συγγραφείς: Cheung, Charles ^{a, ⁎}, Kozlov, Mikhail G. ^{b, c}, Porsev, Sergey G. ^a, Safronova, Marianna S. ^a, Tupitsyn, Ilya I. ^d, Bondarev, Andrey I. ^{e, f}

Πηγή: In Computer Physics Communications March 2025 308

Review and analysis of performance prediction methods and tools for heterogeneous parallel programs

Συγγραφείς: Gu, Beibei^{Aff1, Aff2, IDs4251402500236z_cor1}, Zhao, Lian^Aff1, Li, Chen^Aff1, Chi, Xuebin^Aff1

Πηγή: CCF Transactions on High Performance Computing. 8(3):331-351

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

Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract)

Συγγραφείς: Wang, Yin, Liao, Hongwei, Nazeem, Ahmed, Reveliotis, Spyros, Kelly, Terence, Mahlke, Scott, Lafortune, Stephane

Πηγή: 2009 IEEE International Conference on Automation Science and Engineering Automation Science and Engineering, 2009. CASE 2009. IEEE International Conference on. :37-41 Aug, 2009

Relation: 2009 IEEE International Conference on Automation Science and Engineering (CASE 2009)

Mapping parallel programs onto multicore computer systems by Hopfield networks

Συγγραφείς: Tarkov

Πηγή: Optical Memory and Neural Networks: (Information Optics). July 2013 22(3):148-155

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