Suchergebnisse - parallel (programs OR process) (computer (programs OR process)) verification.*

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

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

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

Schlagwörter: PROGRAM transformation, SOFTWARE verification, OPTIMIZATION algorithms, PARALLEL programs (Computer programs), SCIENTIFIC observation

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

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

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

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

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

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

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

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

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

Autoren: Gorlatch, Sergei Garanina, Natalia Staroletov, Sergey

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

Schlagwörter: *HIGH performance computing, *PARALLEL programs (Computer programs), *OPENCL (Computer program language), *SOFTWARE verification, *PROGRAM transformation, *MATHEMATICAL optimization, *MODELING languages (Computer science), *MODEL validation

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

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

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

Schlagwörter: SOFTWARE verification, PARALLEL programs (Computer programs), SYNCHRONIZATION, COMPUTER software execution

Programming Languages and Systems

Weitere Verfasser: Yoshida, Nobuko

Schlagwörter: Programming Languages, Compilers, Interpreters, Natural Language Processing (NLP), Software Engineering, Logics and Meanings of Programs, Computer Systems Organization and Communication Networks, Compilers and Interpreters, Computer Science Logic and Foundations of Programming, Computer Engineering and Networks, computer programming, concurrency theory, distributed computer systems, formal logic, lamdba calculi, linguistics, logic, object-oriented programming, parallel processing systems, probabilistic programming, process calculi, program compilers, semantics, software design, software quality, theory, types, verification and validation, Programming & scripting languages: general, Compilers & interpreters, Natural language & machine translation, Computer programming / software engineering, Computer architecture & logic design, Computer networking & communications, Programming and scripting languages: general, Artificial intelligence, Computer networking and communications

Dateibeschreibung: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Zugangs-URL: https://library.oapen.org/handle/20.500.12657/48221

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

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

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

Schlagwörter: 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.

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

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

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

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

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

Schlagwörter: COMPUTER memory management, PARALLEL programs (Computer programs)

Correct program parallelisations.

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

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

Schlagwörter: COMPOSITION operators, COMPILERS (Computer programs), SOFTWARE verification, SYNTAX (Grammar), PARALLEL programming

Deductive Verification of Parallel Programs Using Why3

Autoren: César Santos Francisco Martins Vasco Thudichum Vasconcelos

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

Schlagwörter: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

Dateibeschreibung: electronic resource

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

Zugangs-URL: https://doaj.org/article/6447b0dacba144b995c6d2dbeb7375d5

Black-Box Bug Amplification for Multithreaded Software.

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

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

Schlagwörter: COMPUTER software testing, SOFTWARE failures, HEURISTIC, PREDICTION models, PARALLEL programs (Computer programs)

LINDA IN CONTEXT.

Autoren: Carriero, Nichols Glernter, David

Quelle: Communications of the ACM; Apr89, Vol. 32 Issue 4, p444-458, 15p, 5 Diagrams

Schlagwörter: LINDA (Computer system), PARALLEL programming, COMPUTER programming, MANUFACTURED products, BUSINESSMEN, THREADS (Computer programs)

Representation of the program model using predicates

Autoren: Serhii Holub Volodymyr Salapatov Vadym Nemchenko

Quelle: Радіоелектронні і комп'ютерні системи, Vol 2024, Iss 1, Pp 6-16 (2024)

Schlagwörter: model, predicate, temporal logic, an indeterminate finite automaton, procedural programming language, Computer engineering. Computer hardware, TK7885-7895, Electronic computers. Computer science, QA75.5-76.95

Dateibeschreibung: electronic resource

Relation: http://nti.khai.edu/ojs/index.php/reks/article/view/2271; https://doaj.org/toc/1814-4225; https://doaj.org/toc/2663-2012

Zugangs-URL: https://doaj.org/article/9b5b023a2e004a41a8f37c6d2daf0635

Debugging High-Performance Computing Applications at Massive Scales.

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

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

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

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

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

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

Parallel Programs: Proofs, Principles, and Practice.

Autoren: Andrews, Gregory R.¹

Quelle: Communications of the ACM. Mar1981, Vol. 24 Issue 3, p140-146. 7p.

Schlagwörter: *Algorithms, *Electronic data processing, *Programming languages, *Computer software, Parallel programming

A domain specific language based approach for generating deadlock-free parallel load scheduling protocols for distributed systems

Autoren: Adhikari, Pooja

Schlagworte: Parallel programs (Computer programs) Verification., Domain-specific programming languages., Loaders (Computer programs) Security measures Simulation methods., Programmes parallèles (Logiciels) Vérification., Langages orientés problème (Informatique), Chargeurs (Informatique) Sécurité Mesures Méthodes de simulation., Domain-specific programming languages., Parallel programs (Computer programs) Verification.

Index Begriffe: Asynchronous parallel applications, Load Scheduling Protocols, Domain specific language, Model checking, Academic Dissertation, Electronic resources., Electronic theses/dissertations., Dissertations., Academic theses., Academic theses., Thèses et écrits académiques.

URL: https://hdl.handle.net/11668/19343

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

Autoren: Pira, Einollah Rouhi, Alireza

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

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

Support tools for creation and transformation of functional-dataflow parallel programs

Autoren: A. I. Legalov V. S. Vasilyev I. V. Matkovskii et al.

Quelle: Труды Института системного программирования РАН, Vol 29, Iss 5, Pp 165-184 (2018)

Schlagwörter: архитектурно-независимое параллельное программирование, функционально-потоковое параллельное программирование, трансформация программ, средства разработки программ, информационный граф, управляющий граф, Electronic computers. Computer science, QA75.5-76.95

Dateibeschreibung: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/358; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Zugangs-URL: https://doaj.org/article/b29215e8156c4dfaafc0090f6697be25