Výsledky vyhledávání - parallel (programs OR progress) (computer (programs OR progress)) verification.

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

Autoři: Xu, Xuezheng Yang, Deheng Wang, Lu a další

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

Témata: 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+.

Autoři: Xiao, Lili Hou, Zhiru Zhu, Huibiao a další

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

Témata: 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.

Autoři: Wieczorek-Przybyło, Marzena Lachowicz, Milena Tomczyk, Maja a další

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

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

Autoři: Şakar, Ömer Safari, Mohsen Huisman, Marieke a další

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

Témata: 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.

Autoři: Moine, Alexandre Charguéraud, Arthur Pottier, François

Zdroj: ACM Transactions on Programming Languages & Systems; Mar2025, Vol. 47 Issue 1, p1-71, 71p

Témata: COMPUTER memory management, PARALLEL programs (Computer programs)

Black-Box Bug Amplification for Multithreaded Software.

Autoři: Weiss, Yeshayahu Amram, Gal Elyasaf, Achiya a další

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

Témata: COMPUTER software testing, SOFTWARE failures, HEURISTIC, PREDICTION models, PARALLEL programs (Computer programs)

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

Autoři: Jonsson, Bengt Lång, Magnus Sagonas, Konstantinos

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

Témata: SOFTWARE verification, PARALLEL programs (Computer programs), SYNCHRONIZATION, COMPUTER software execution

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

Autoři: Gorlatch, Sergei Garanina, Natalia Staroletov, Sergey

Zdroj: Journal of Mathematical Sciences. May2025, Vol. 290 Issue 5, p641-653. 13p.

Témata: *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.

Autoři: Pira, Einollah Rouhi, Alireza

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

Témata: 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.

Autoři: Foster, Simon Hur, Chung-Kil Woodcock, Jim

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

Témata: 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.

Autoři: Aziz, Umar Rehman, Abdul Xu, Xiaolong a další

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

Debugging High-Performance Computing Applications at Massive Scales.

Autoři: LAGUNA, IGNACIO AHN, DONG H. DE SUPINSKI, BRONIS R. a další

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

Témata: 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.

Autoři: Souza, S. R. S. Vergilio, S. R. Souza, P. S. L. a další

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

Témata: PARALLEL programs (Computer programs), COMMUNICATION, SYNCHRONIZATION, TESTING, TESTING-machines, COMPUTER interfaces

A View of the Parallel Computing Landscape.

Autoři: ASANOVIC, KRSTE BODIK, RASTISLAV DEMMEL, JAMES a další

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

Témata: PARALLEL programs (Computer programs), PARALLEL computers, MICROPROCESSOR programming

Geografický termín: BERKELEY (Calif.), CALIFORNIA

Korporace: UNIVERSITY of California, Berkeley

Resource analyses for parallel and distributed coordination.

Autoři: Trinder, P. W. Cole, M. I. Hammond, K. a další

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

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

Correct program parallelisations.

Autoři: Blom, S. Darabi, S. Huisman, M. a další

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

Témata: COMPOSITION operators, COMPILERS (Computer programs), SOFTWARE verification, SYNTAX (Grammar), PARALLEL programming

Deductive Verification of Parallel Programs Using Why3

Autoři: César Santos Francisco Martins Vasco Thudichum Vasconcelos

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

Témata: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

Popis souboru: electronic resource

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

Přístupová URL adresa: https://doaj.org/article/6447b0dacba144b995c6d2dbeb7375d5

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

Autoři: Freedman, Debra Burton, Erin Rendahl, Aaron a další

Zdroj: 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.

Autoři: Suárez-Galaz, Alejandro Sánchez-Montes, Sokani Torres-Castro, Marco a další

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

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

Autoři: Briassoulis, George Briassouli, Efrossini

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