Výsledky vyhledávání - Parallel programs (Computer programs) Verification.

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

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)

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

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

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

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)

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

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)

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

Autoři: A. I. Legalov V. S. Vasilyev I. V. Matkovskii a další

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

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

Popis souboru: electronic resource

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

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

Structured arrows : a type-based framework for structured parallelism

Autoři: Castro, David Hammond, Kevin

Přispěvatelé: Castro, David Hammond, Kevin

Témata: 005.3, Parallel computing, Algorithmic skeletons, Structured recursion, Hylomorphisms, Type and effect systems, Cost models, QA76.642C2, Parallel programs (Computer programs), Parallel programs (Computer programs)--Verification, Parallel programs (Computer programs)--Costs

Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.759337

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

Autoři: Adhikari, Pooja

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

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

Parallel Programs: Proofs, Principles, and Practice.

Autoři: Andrews, Gregory R.¹

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

Témata: *Algorithms, *Electronic data processing, *Programming languages, *Computer software, Parallel programming

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.

Productivity with performance: property/behavior-based automated composition of parallel programs from self-describing components

Property/behavior-based automated composition of parallel programs from self-describing components

Autoři: Mahmood, Nasim, 1976

Thesis Advisors: Browne, James C.

Témata: Parallel programs (Computer programs), Verification

Popis souboru: electronic

Dostupnost: http://hdl.handle.net/2152/3360

Using true concurrency to model execution of parallel programs

Přispěvatelé: Farchi, E

Zdroj: International Journal of Parallel Programming; (United States); 22:4

Popis souboru: Medium: X; Size: Pages: 375-407

Přístupová URL adresa: http://www.osti.gov/scitech/biblio/6750939

Representation of the program model using predicates

Autoři: Serhii Holub Volodymyr Salapatov Vadym Nemchenko

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

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

Popis souboru: 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

Přístupová URL adresa: https://doaj.org/article/9b5b023a2e004a41a8f37c6d2daf0635

Fundamental Approaches to Software Engineering

Přispěvatelé: Guerra, Esther Stoelinga, Mariëlle

Témata: Software Engineering/Programming and Operating Systems, Data Structures and Information Theory, Natural Language Processing (NLP), Programming Techniques, Theory of Computation, Software Engineering, architecture verification and validation, artificial intelligence, embedded systems, empirical software validation, formal logic, formal methods, model checking, model-driven software engineering, object-oriented programming, parallel processing systems, program analysis, program compilers, signal processing, software architecture, software performance, software selection and adaptation, software testing and debugging, telecommunication systems, verification, Operating systems, Algorithms & data structures, Information theory, Natural language & machine translation, Computer programming / software engineering, Computer science, Mathematical theory of computation, Artificial intelligence

Popis souboru: application/pdf

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

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/48217

Tools and Algorithms for the Construction and Analysis of Systems

Přispěvatelé: Groote, Jan Friso Larsen, Kim Guldstrand

Témata: Theory of Computation, Computer Systems Organization and Communication Networks, Control Structures and Microprogramming, Software Engineering, Computer Engineering and Networks, architecture verification and validation, automata theory, computer systems, distributed computer systems, embedded systems, formal logic, mathematics, model checking, model-checking, parallel processing systems, SAT and SMT solving, software architecture, static and dynamic program analysis, theorem-proving, verification and validation, Computer science, Mathematical theory of computation, Computer networking & communications, Algorithms & data structures, Computer networking and communications, Computer programming / software engineering

Popis souboru: application/pdf

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

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/48219