Search Results - parallel (programs OR (progress OR process))

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

More PEAS Please! Process Evaluation of a STEAM Program Designed to Promote Dietary Quality, Science Learning, and Language Skills in Preschool Children.

Authors: Stage, Virginia C. Dixon, Jocelyn B. Grist, Pauline et al.

Source: Nutrients. Jun2025, Vol. 17 Issue 11, p1922. 26p.

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

Towards Efficient HPC: Exploring Overlap Strategies Using MPI Non-Blocking Communication.

Authors: Zheng, Yuntian Wu, Jianping

Source: Mathematics (2227-7390); Jun2025, Vol. 13 Issue 11, p1848, 22p

Subject Terms: SCIENTIFIC computing, PARALLEL programming, RESEARCH personnel, ATMOSPHERIC models, COMPUTER simulation

Static Analysis Techniques for Fixing Software Defects in MPI-Based Parallel Programs.

Authors: Al-Johany, Norah Abdullah Sharaf, Sanaa Abdullah Eassa, Fathy Elbouraey et al.

Source: Computers, Materials & Continua; 2024, Vol. 79 Issue 2, p3139-3173, 35p

Subject Terms: SOFTWARE engineering, PARALLEL programming, DISTRIBUTED computing, EVIDENCE gaps, COMPUTER systems

Developing and Implementing a Competency-Based Veterinary Medicine Program at the Université de Montréal.

Authors: Doucet, Michèle Bélisle, Marilou

Source: Journal of Veterinary Medical Education. Jun2025, Vol. 52 Issue 3, p298-310. 13p.

A Type Discipline for Message Passing Parallel Programs.

Authors: VASCONCELOS, VASCO T. MARTINS, FRANCISCO LÓPEZ, HUGO-ANDRÉS et al.

Source: ACM Transactions on Programming Languages & Systems; Dec2022, Vol. 44 Issue 4, p1-55, 55p

THE IDENTIFICATION OF THE EXTERNAL FACTORS THAT HAVE INFLUENCED THE PROGRESS OF A WEIGHT MANAGEMENT PROGRAMME IN A POPULATION OF DOGS.

Authors: PETRESCU, Silvia Ioana RADU-RUSU, Cristina Gabriela MATEI, Mădălina et al.

Source: Scientific Papers. Series D. Animal Science. 2024, Vol. 67 Issue 1, p137-142. 6p.

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

Enhancing Human Health Through Nutrient and Bioactive Compound Recovery from Agri-Food By-Products: A Decade of Progress.

Authors: Ingallina, Cinzia Spano, Mattia Prencipe, Sabrina Antonia et al.

Source: Nutrients. Aug2025, Vol. 17 Issue 15, p2528. 50p.

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

Anti-aging strategies for dogs.

Authors: Ryong Lim, Jae Yoon, Jee Hyeon Han, Ho Jae

Source: Journal of Veterinary Science. 2025 Supplement, Vol. 26, pS199-S219. 21p.

Subjects: Dogs, Aging prevention, Cellular aging, Animal longevity, Immunotherapy, Treatment effectiveness, Age factors in disease, Health behavior

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

Equine Herpesvirus Infections: Treatment Progress and Challenges in Horses and Donkeys.

Authors: Khan, Muhammad Zahoor Ji, Yanfei Fan, Xuewei et al.

Source: Veterinary Sciences. Nov2025, Vol. 12 Issue 11, p1082. 30p.

Adding parallelism to sequential programs – a combined method.

Authors: Daszczuk, Wiktor B. Czejdo, Denny B. Grześkowiak, Wojciech

Source: International Journal of Electronics & Telecommunications; 2024, Vol. 70 Issue 1, p135-144, 10p

Subject Terms: PARALLELISM (Linguistics), COMPUTER software, SEQUENTIAL codes, PARALLEL programming, PROGRAMMING languages

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

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

Authors: Moine, Alexandre Charguéraud, Arthur Pottier, François

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 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: parallel programs, mpi, distributed processes, verification, Information technology, T58.5-58.64

File Description: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/1567; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

Access URL: https://doaj.org/article/8a93874d247d4295a75229eedaa6dd28

Black-Box Bug Amplification for Multithreaded Software.

Authors: Weiss, Yeshayahu Amram, Gal Elyasaf, Achiya et al.

Source: Mathematics (2227-7390); Sep2025, Vol. 13 Issue 18, p2921, 42p

Subject Terms: COMPUTER software testing, SOFTWARE failures, HEURISTIC, PREDICTION models, PARALLEL programs (Computer programs)

A Decade of Progress in Parallel Programming Productivity.

Authors: RICHARDS, JOHN T. BREZIN, JONATHAN SWART, CALVIN B. et al.

Source: Communications of the ACM; Nov2014, Vol. 57 Issue 11, p60-66, 7p, 1 Color Photograph, 3 Diagrams, 1 Chart

Subject Terms: COMPUTER programming, COMPUTER programmers, COMPUTER science research, PARALLEL programming, PARALLEL processing, PROGRAMMING languages