Search Results - parallel (programs OR progress) (computer (programs OR progress)) verification.~

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

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

Authors: Xiao, Lili Hou, Zhiru Zhu, Huibiao et al.

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

Subject Terms: SOFTWARE verification, COMPUTER architecture, SYNCHRONIZATION, FORMAL methods (Computer science), FORMAL languages, PARALLEL programs (Computer programs), PARALLEL processing

Supervised 16-Week Multicomponent Exercise Training Programme for 18–55-Year-Old People Living with and Beyond Cancer—CONSORT 2025-Based Study Protocol of the Pilot Onco-Move Randomized Controlled Trial.

Authors: Wieczorek-Przybyło, Marzena Lachowicz, Milena Tomczyk, Maja et al.

Source: Nutrients. Jan2026, Vol. 18 Issue 1, p100. 17p.

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

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)

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)

Awaiting for Godot: stateless model checking that avoids executions where nothing happens.

Authors: Jonsson, Bengt Lång, Magnus Sagonas, Konstantinos

Source: Formal Methods in System Design; Oct2025, Vol. 67 Issue 1, p71-105, 35p

Subject Terms: SOFTWARE verification, PARALLEL programs (Computer programs), SYNCHRONIZATION, COMPUTER software execution

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

Authors: Gorlatch, Sergei Garanina, Natalia Staroletov, Sergey

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

An Innovative Heuristic to Detect Special States in Concurrent Software Systems.

Authors: Pira, Einollah Rouhi, Alireza

Source: Quality & Reliability Engineering International; Dec2025, Vol. 41 Issue 8, p3686-3697, 12p

Subject Terms: HEURISTIC, VERIFICATION of computer systems, SOFTWARE development tools, COMPUTER performance, STATE-space methods, SOFTWARE validation, PARALLEL programs (Computer programs)

Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL.

Authors: Foster, Simon Hur, Chung-Kil Woodcock, Jim

Source: ACM Transactions on Software Engineering & Methodology; May2025, Vol. 34 Issue 4, p1-40, 40p

Subject Terms: SOFTWARE engineering, SEMANTICS, LOGIC, MATHEMATICAL proofs, SIMULATION methods & models, PARALLEL programs (Computer programs), INTERACTIVE computer systems

Advancing Goat Genomics Verification and Applying GBTS Liquid Chip for Precision Breeding.

Authors: Aziz, Umar Rehman, Abdul Xu, Xiaolong et al.

Source: Journal of Veterinary Physiology & Pathology. 2025, Vol. 4 Issue 3, p20-30. 11p.

Debugging High-Performance Computing Applications at Massive Scales.

Authors: LAGUNA, IGNACIO AHN, DONG H. DE SUPINSKI, BRONIS R. et al.

Source: Communications of the ACM; Sep2015, Vol. 58 Issue 9, p72-81, 10p

Subject Terms: HIGH performance computing, DEBUGGING, COMPUTER simulation, COMPUTER software testing, PARALLEL programs (Computer programs), ALGORITHMS, ELECTRONIC data processing, MATHEMATICAL models, MATHEMATICAL programming

Structural testing criteria for message-passing parallel programs.

Authors: Souza, S. R. S. Vergilio, S. R. Souza, P. S. L. et al.

Source: Concurrency & Computation: Practice & Experience; Nov2008, Vol. 20 Issue 16, p1893-1916, 24p, 4 Diagrams, 12 Charts

Subject Terms: PARALLEL programs (Computer programs), COMMUNICATION, SYNCHRONIZATION, TESTING, TESTING-machines, COMPUTER interfaces

A View of the Parallel Computing Landscape.

Authors: ASANOVIC, KRSTE BODIK, RASTISLAV DEMMEL, JAMES et al.

Source: Communications of the ACM; Oct2009, Vol. 52 Issue 10, p56-67, 12p, 1 Color Photograph, 1 Diagram, 1 Chart, 2 Graphs

Subject Terms: PARALLEL programs (Computer programs), PARALLEL computers, MICROPROCESSOR programming

Geographic Terms: BERKELEY (Calif.), CALIFORNIA

Company/Entity: UNIVERSITY of California, Berkeley

Resource analyses for parallel and distributed coordination.

Authors: Trinder, P. W. Cole, M. I. Hammond, K. et al.

Source: Concurrency & Computation: Practice & Experience; Mar2013, Vol. 25 Issue 3, p309-348, 40p, 19 Diagrams, 4 Charts, 2 Graphs

Subject Terms: RESOURCE allocation, PARALLEL programs (Computer programs), DISTRIBUTION (Probability theory), PREDICTION models, MATHEMATICAL models, COST analysis, SURVEYS, INFORMATION technology

Correct program parallelisations.

Authors: Blom, S. Darabi, S. Huisman, M. et al.

Source: International Journal on Software Tools for Technology Transfer; Oct2021, Vol. 23 Issue 5, p741-763, 23p

Subject Terms: COMPOSITION operators, COMPILERS (Computer programs), SOFTWARE verification, SYNTAX (Grammar), PARALLEL programming

Deductive Verification of Parallel Programs Using Why3

Authors: César Santos Francisco Martins Vasco Thudichum Vasconcelos

Source: Electronic Proceedings in Theoretical Computer Science, Vol 189, Iss Proc. ICE 2015, Pp 128-142 (2015)

Subject Terms: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: http://arxiv.org/pdf/1508.04856v1; https://doaj.org/toc/2075-2180

Access URL: https://doaj.org/article/6447b0dacba144b995c6d2dbeb7375d5

Senior-Year Clinical Trainees' Perceptions of a Clinical Entrustment Scale in an Academic Veterinary Medical Center.

Authors: Freedman, Debra Burton, Erin Rendahl, Aaron et al.

Source: Journal of Veterinary Medical Education. Feb2026, Vol. 53 Issue 1, p106-114. 9p.

Host‐Driven Genetic Diversity of Leptospira in the Americas: A Continental Perspective.

Authors: Suárez-Galaz, Alejandro Sánchez-Montes, Sokani Torres-Castro, Marco et al.

Source: Transboundary & Emerging Diseases. 1/16/2026, Vol. 2026, p1-19. 19p.

AI-Enabled Precision Nutrition in the ICU: A Narrative Review and Implementation Roadmap.

Authors: Briassoulis, George Briassouli, Efrossini

Source: Nutrients. Jan2026, Vol. 18 Issue 1, p110. 22p.