Search Results - parallel (programs OR process)

Algorithms for Optimizing the Execution of Parallel Programs on High-Performance Systems When Solving Problems of Modeling Physical Processes

Authors: K. V. Pavsky M. G. Kurnosov A. V. Efimov et al.

Source: Optoelectronics, Instrumentation and Data Processing. 57:552-560

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

OPTIMIZATION ALGORITHMS OF PARALLEL PROGRAMS EXECUTION ON HIGH-PERFORMANCE SYSTEMS WHEN SOLVING PROBLEMS OF MODELING PHYSICAL PROCESSES

Authors: Alexandr V. Efimov Kirill V. Pavsky Mikhail G. Kurnosov et al.

Source: Автометрия. 57:119-128

A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs

Authors: Andrew M. Mironov

Source: Моделирование и анализ информационных систем, Vol 28, Iss 4, Pp 394-412 (2021)

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, mpi, parallel programs, Information technology, 02 engineering and technology, verification, T58.5-58.64, distributed processes

Access URL: https://www.mais-journal.ru/jour/article/download/1567/1197
https://doaj.org/article/8a93874d247d4295a75229eedaa6dd28

Using Process Calculus for Optimizing Data and Computation Sharing in Complex Stateful Parallel Computations

Authors: Zilu Tian Dan Olteanu Christoph Koch

Source: Proceedings of the ACM on Management of Data. 3:1-28

Subject Terms: FOS: Computer and information sciences, Computer Science - Databases, Databases (cs.DB)

Access URL: http://arxiv.org/abs/2504.09788

A scalable process-management environment for parallel programs.

Contributors: Lusk, E

Source: Conference: EuroPVM/MPI'2000, Balatonfured, Lake Balaton (HU), 09/10/2000--09/13/2000; Other Information: PBD: 8 Jun 2000

File Description: Medium: P; Size: vp.

Access URL: http://www.osti.gov/scitech/servlets/purl/757547

Components and interfaces of a process management system for parallel programs.

Contributors: Lusk, E

Source: 27; 11; Conference: Workshop on Clusters and Computational Grids for Scientific Computing, Le Chateau de Faverges de la Tour (FR), 09/24/2000--09/27/2000; Other Information: PBD: 23 Feb 2001

File Description: Medium: ED; Size: 12 pages

Access URL: http://www.osti.gov/scitech/servlets/purl/775263

Components and interfaces of a process management system for parallel programs

Authors: Butler, R. Gropp, W. Lusk, E. et al.

Contributors: Butler, R. Gropp, W. Lusk, E. et al.

Source: Parallel Computing. 27:1417-1429

Subject Terms: FOS: Computer and information sciences, Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), Computer Codes, Parallel Processing, Computing, Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.), 02 engineering and technology, 99 General And Miscellaneous//Mathematics, 01 natural sciences, process management system for parallel programs, Management, Task Scheduling, C.1.4, Computer Science - Distributed, Parallel, and Cluster Computing, Implementation, And Information Science, 0202 electrical engineering, electronic engineering, information engineering, Distributed, Parallel, and Cluster Computing (cs.DC), 0101 mathematics, Performance evaluation, queueing, and scheduling in the context of computer systems

File Description: application/xml; Text

Access URL: http://arxiv.org/pdf/cs.dc/0102017.pdf
http://arxiv.org/abs/cs/0102017
https://digital.library.unt.edu/ark:/67531/metadc720976/
https://arxiv.org/abs/cs/0102017
http://www.osti.gov/scitech/biblio/775263-components-interfaces-process-management-system-parallel-programs
https://www.sciencedirect.com/science/article/pii/S0167819101000977
https://digital.library.unt.edu/ark:/67531/metadc720976/m2/1/high_res_d/775263.pdf
https://experts.illinois.edu/en/publications/components-and-interfaces-of-a-process-management-system-for-para

Interoperability parallel programs approach to simulate 3D frontal polymerization processes: Interoperability parallel programs approach to simulate 3D frontal polymerization processes.

Authors: Damien Tromeur-Dervout G. Edjlali Marc Garbey

Source: Parallel Computing. 25:1161-1191

Subject Terms: parallelism, Navier-Stokes equations for incompressible viscous fluids, Navier-Stokes, finite differences methods, Combustion, multigrid methods, ADI methods, Finite difference methods applied to problems in thermodynamics and heat transfer, Parallel numerical computation, 01 natural sciences, domain decomposition methods, spectral methods, communication schedule, 0103 physical sciences, program and language inter-operability, 0101 mathematics, combustion

File Description: application/xml

Access URL: https://dblp.uni-trier.de/db/journals/pc/pc25.html#EdjlaliGT99
https://scholars.houstonmethodist.org/en/publications/interoperability-parallel-programs-approach-to-simulate-3d-frontal-polymerization-processes(b97dc07c-2f4b-453f-961b-938f6c32bb0a).html
http://www.sciencedirect.com/science/article/pii/S0167819199000423
https://doi.org/10.1016/S0167-8191(99)00042-3
https://www.sciencedirect.com/science/article/abs/pii/S0167819199000423

A statistical investigation of the factors influencing the performance of parallel programs, with application to a study of process migration strategies

Authors: Phillips, Joseph

Subject Terms: 005.3

Access URL: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.660590

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

Authors: Şakar, Ömer Safari, Mohsen Huisman, Marieke et al.

Source: Formal Methods in System Design; Dec2025, Vol. 67 Issue 3, p316-372, 57p

Subject Terms: PROGRAM transformation, SOFTWARE verification, OPTIMIZATION algorithms, PARALLEL programs (Computer programs), SCIENTIFIC observation

High-Throughput Evaluation of Mechanical Exfoliation Using Optical Classification of Two-Dimensional Materials.

Authors: Gasbarro, Anthony Masuda, Yong-Sung D. Lubecke, Victor M.

Source: Micromachines; Oct2025, Vol. 16 Issue 10, p1084, 11p

Subject Terms: TWO-dimensional materials (Nanotechnology), MACHINE learning, IMAGE processing, PARALLEL programs (Computer programs), OPTICAL pattern recognition, SPECTRUM analysis

evaluating the performance of pipeline structured parallel programs with skeletons and process algebra

Authors: Benoit, Anne Cole, Murray Gilmore, Stephen et al.

Source: Benoit, A, Cole, M, Gilmore, S & Hillston, J 2005, ' Evaluating the performance of pipeline-structured parallel programs with skeletons and process algebra ', Scalable Computing: Practice and Experience, vol. 6, no. 4, pp. 1-16 . < http://www.scpe.org/index.php/scpe/article/view/343/30 >

File Description: application/pdf

Access URL: https://www.research.ed.ac.uk/portal/en/publications/evaluating-the-performance-of-pipelinestructured-parallel-programs-with-skeletons-and-process-algebra(49ba538b-0434-49d1-88c8-57a4dd259dfa).html
http://dblp.uni-trier.de/db/journals/scpe/scpe6.html#BenoitCGH05
https://dblp.uni-trier.de/db/journals/scpe/scpe6.html#BenoitCGH05
https://www.scpe.org/index.php/scpe/article/view/343
https://hal.inria.fr/hal-00807016
https://hal.archives-ouvertes.fr/hal-00807016/
https://www.pure.ed.ac.uk/ws/files/13465783/30.pdf
https://hdl.handle.net/20.500.11820/49ba538b-0434-49d1-88c8-57a4dd259dfa

The Nornir Run-time System for Parallel Programs Using Kahn Process Networks

Authors: Dag Johansen eljko Vrba Carsten Griwodz et al.

Source: 2009 Sixth IFIP International Conference on Network and Parallel Computing. :1-8

Subject Terms: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences

ELS: Emulation system for debugging and tuning large-scale parallel programs on small clusters.

Authors: Lin, Fang Liu, Yi Guo, Yayu et al.

Source: Journal of Supercomputing; 2021, Vol. 77 Issue 2, p1635-1666, 32p

Subject Terms: DEBUGGING, MIMO systems, COMPUTER systems, PROCESS control systems, PARALLEL programming

The Nornir run-time system for parallel programs using Kahn process networks on multi-core machines—a flexible alternative to MapReduce

Authors: Vrba, Zeljko Halvorsen, Pål Griwodz, Carsten et al.

Source: The Journal of Supercomputing. 63:191-217

Subject Terms: VDP::Mathematics and natural science: 400::Information and communication science: 420::Communication and distributed systems: 423, VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Kommunikasjon og distribuerte systemer: 423, 02 engineering and technology, VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Matematisk modellering og numeriske metoder: 427, Theoretical Computer Science, VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Teoretisk databehandling, programmeringsspråk og -teori: 421, Hardware and Architecture, VDP::Mathematics and natural science: 400::Information and communication science: 420::Theoretical computer science, programming languages and programming theory: 421, VDP::420, 0202 electrical engineering, electronic engineering, information engineering, VDP::Mathematics and natural science: 400::Information and communication science: 420::Mathematical modeling and numerical methods: 427, Software, Information Systems

Access URL: https://link.springer.com/content/pdf/10.1007%2Fs11227-010-0503-2.pdf
https://hdl.handle.net/10037/3070

Computer-Assisted Parallel Program Generation System P-NCAS from Mathematical Model -Visualization and Steering of Parallel Program Generation Process- / 数学モデルからの領域分割による並列数値シミュレーションプログラム生成支援環境P-NCASの構築

Authors: Akira FUJITA Choompol BOONMEE Shigeo KAWATA et al.

Source: 日本計算工学会論文集 / Transactions of the Japan Society for Computational Engineering and Science. 2000, 2000:20000037

Sequential Consistency Per Location Theorem Proving in RISC-V Memory Consistency Model.

Authors: Xu, Xuezheng Yang, Deheng Wang, Lu et al.

Source: International Journal of Software & Informatics; 2025, Vol. 15 Issue 3, p283-305, 23p

Subject Terms: FORMAL methods (Computer science), CONSISTENCY models (Computers), PROOF theory, PARALLEL programs (Computer programs), PARALLEL processing, REDUCED instruction set computers, SYSTEMS design

An Extensible Thread Throttling Method for Multiple OpenMP Parallel Programs

Authors: Xiaoxuan Luo Weiwei Lin Jiachun Li et al.

Source: ACM Transactions on Embedded Computing Systems.

A Type Discipline for Message Passing Parallel Programs

Authors: Vasco T. Vasconcelos Francisco Martins Hugo-Andrés López et al.

Source: Vasconcelos, V T, Martins, F, López, H A & Yoshida, N 2022, ' A Type Discipline for Message Passing Parallel Programs ', ACM Transactions on Programming Languages and Systems, vol. 44, no. 4, 26 . https://doi.org/10.1145/3552519

Subject Terms: termination, dependent types, Parallel programs, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, message passing computation

File Description: application/pdf

Access URL: https://ora.ox.ac.uk/objects/uuid:a88a570f-2b15-42e3-8839-abb468bd5f9e
https://doi.org/10.1145/3552519
https://curis.ku.dk/ws/files/336293420/A_Type_Discipline_for_Message_Passing_Parallel_Programs.pdf

A Scalable Process-Management Environment for Parallel Programs

Authors: Butler, R. Gropp, W. Lusk, E. et al.

Contributors: Butler, R. Gropp, W. Lusk, E. et al.

Source: Lecture Notes in Computer Science ISBN: 9783540410102

Subject Terms: Process Control, Parallel Processing, And Information Science, 11. Sustainability, Programming, Computing, 1. No poverty, 14. Life underwater, 10. No inequality, 99 General And Miscellaneous//Mathematics, 6. Clean water, 3. Good health

File Description: Medium: P; Size: vp.; Text

Access URL: https://digital.library.unt.edu/ark:/67531/metadc702438/m2/1/high_res_d/757547.pdf
https://core.ac.uk/display/102721591
https://link.springer.com/10.1007%2F3-540-45255-9_25
https://doi.org/10.1007/3-540-45255-9_25
https://digital.library.unt.edu/ark:/67531/metadc702438/m2/1/high_res_d/757547.pdf
https://rd.springer.com/chapter/10.1007/3-540-45255-9_25
https://link.springer.com/chapter/10.1007/3-540-45255-9_25