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

Safety Mechanism Design and Verification of Safety Computer Parallel Program Autor Zhang, Yuzhuo, Hong, Chunhua, Cao, Yuan, Ma, Lianchuan, Wen, Yinghong

“… Aiming at the parallel programs, a concurrent program safety management mechanism based on transactional memory is proposed…”
Získat plný text

CADP 2011: a toolbox for the construction and analysis of distributed processes Autor Garavel, Hubert, Lang, Frédéric, Mateescu, Radu, Serwe, Wendelin

“…CADP ( Construction and Analysis of Distributed Processes ) is a comprehensive software toolbox that implements the results of concurrency theory…”
Získat plný text

BPPChecker: An SMT-based Model Checker on Basic Parallel Processes Autor Li, Guoqiang, Yang, Qizhe, Tan, Jinhao, Zhao, Ying

“… to be efficient and complete. We choose Basic Parallel Process (BPP), a subclass of Petri nets, as the backbone verification model for verifying concurrent programs due to its lower complexity…”
Získat plný text

A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Model Autor Mironov, A. M.

“…This article presents a new mathematical model of parallel programs that can be used, in particular, for verification of parallel programs presented on a certain subset of the MPI parallel programming interface…”
Získat plný text

Wireless Traffic Prediction With Scalable Gaussian Process: Framework, Algorithms, and Verification Autor Xu, Yue, Yin, Feng, Xu, Wenjun, Lin, Jiaru, Cui, Shuguang

“… This paper proposes a scalable Gaussian process (GP) framework as a promising solution to achieve large-scale wireless traffic prediction in a cost-efficient manner…”
Získat plný text

Verifying temporal properties of programs: A parallel approach Autor Yu, Bin, Duan, Zhenhua, Tian, Cong, Zhang, Nan

“… To overcome them, this paper presents a parallel approach to verify full regular temporal properties of a program…”
Získat plný text

A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs Autor Mironov, Andrew M.

“… This model is based on the concepts of a sequential and distributed process. A parallel program is modeled as a distributed process in which sequential processes communicate by asynchronously sending and receiving messages over channels…”
Získat plný text

Parallel Refinement for Multi-Threaded Program Verification Autor Yin, Liangze, Dong, Wei, Liu, Wanwei, Wang, Ji

“… Hence, designing parallel algorithms to improve the performance of concurrent program verification is highly desired…”
Získat plný text

Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings Autor European Symposium on Programming, Yoshida, Nobuko, European Conferences on Theory and Practice of Software

“…This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021,…”
Získat plný text

A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency Autor Hayes, Ian J., Meinicke, Larissa A., Winter, Kirsten, Colvin, Robert J.

“…In this paper we introduce an abstract algebra for reasoning about concurrent programs, that includes an abstract algebra of atomic steps, with sub-algebras of program and environment steps…”
Získat plný text

Reliability and Confidentiality Co-Verification for Parallel Applications in Distributed Systems Autor Xie, Guoqi, Yang, Kehua, Luo, Haibo, Li, Renfa, Hu, Shiyan

“…Co-verification of reliability and confidentiality is a necessary process for safety- and security-critical applications…”
Získat plný text

Compositional verification of asynchronous concurrent systems using CADP Autor Garavel, Hubert, Lang, Frédéric, Mateescu, Radu

“…During the last decades, concurrency theory successfully developed salient concepts to formally model and soundly reason about distributed and parallel systems…”
Získat plný text

Parallel program analysis on path ranges Autor Haltermann, Jan, Jakobs, Marie-Christine, Richter, Cedric, Wehrheim, Heike

“… More specifically, we present a verification approach that splits programs into path ranges and then runs arbitrary analyses on the ranges in parallel…”
Získat plný text

Finite Element Simulation of the Parallel Tubular Channel Angular Pressing Process for Al–Cu Bimetallic Tube with Experimental Verification Autor Shirzad, S., Hashemi, R., Rajabi, M.

“…In this article, the commercially pure Al–Cu bimetallic tube has been produced by the parallel tubular channel angular pressing (PTCAP) process…”
Získat plný text

Deductive Verification of Parallel Programs Using Why3 Autor Santos, César, Martins, Francisco, Thudichum Vasconcelos, Vasco

“…The Message Passing Interface specification (MPI) defines a portable message-passing API used to program parallel computers…”
Získat plný text

Anytime system level verification via parallel random exhaustive hardware in the loop simulation Autor Mancini, Toni, Mari, Federico, Massini, Annalisa, Melatti, Igor, Tronci, Enrico

“…, at any time during the verification process, an upper bound to the probability that the System Under Verification…”
Získat plný text

Efficient parallel reasoning on fuzzy goal models for run time requirements verification Autor Chatzikonstantinou, George, Kontogiannis, Kostas

“…As software applications become highly interconnected in dynamically provisioned platforms, they form the so-called systems-of-systems. Therefore, a key issue…”
Získat plný text

Falcon: fault localization in concurrent programs Autor Park, Sangmin, Vuduc, Richard W., Harrold, Mary Jean

“… Traditional fault-localization techniques have been successful in identifying faults in sequential, deterministic programs, but they cannot detect faulty data-access patterns among threads…”
Získat plný text

Perfectly parallel fairness certification of neural networks Autor Urban, Caterina, Christakis, Maria, Wüstholz, Valentin, Zhang, Fuyuan

“… In this paper, we propose a perfectly parallel static analysis for certifying fairness of feed-forward neural networks used for classification of tabular data…”
Získat plný text

USING THE SPIN MODEL CHECKER FOR AUTO-TUNING HIGH-PERFORMANCE PROGRAMS Autor Gorlatch, Sergei, Garanina, Natalia, Staroletov, Sergey

“…The paper bridges two traditionally separate research directions: (1) model checking, commonly used in the formal verification of programs, and (2…”
Získat plný text