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

Work in Progress: Path-based Graph Partition for Parallel Hardware-accelerated Functional Verification Autor Lin, Peiying, Li, Kenli, Xiao, Zheng, Chen, Cen, Yu, Siyang

“… With the increasing scale of the circuit, it is urgent to divide the whole large scale circuit into some smaller sub-circuits so as to perform parallel functional verification on multiple hardware processors…”
Získat plný text

Practical Progress Verification of Descriptor-Based Non-Blocking Data Structures Autor Peterson, Christina, Cook, Victor, Dechev, Damian

“…; parallel processing; virtual machines; learning (artificial intelligence)…”
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

Analysis of existing parallel programs verification technologies Autor Olha Yuriivna Moroz, Olena Gennadiivna Tolstoluzka, Roman Valeriyovich Savchenko

“… It is noted that the implementation of the methods of formal verification of software of computer systems, which supplement the traditional methods of testing and debugging, and make it possible…”
Získat plný text

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

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

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

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

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

Formal Analysis of Galois Field Arithmetic Circuits-Parallel Verification and Reverse Engineering Autor Yu, Cunxi, Ciesielski, Maciej

“… This paper presents a computer algebra technique that performs verification and reverse engineering of GF(<inline-formula> <tex-math notation="LaTeX">{2^{m}} </tex-math></inline-formula…”
Získat plný text

Swarm Verification Techniques Autor Holzmann, G. J., Joshi, R., Groce, A.

“…The range of verification problems that can be solved with logic model checking tools has increased significantly in the last few decades…”
Získat plný text

Parallel computational tree logic model‐checking on pushdown systems Autor Ye, Xin, Shi, Jianqi, Huang, Yanhong, Li, Qin, Wei, Hansheng, Chen, Xinyu

“…Summary Model checking and static analysis have been well studied for program verification…”
Získat plný text

Correct program parallelisations Autor Blom, S., Darabi, S., Huisman, M., Safari, M.

“…A commonly used approach to develop deterministic parallel programs is to augment a sequential program with compiler directives that indicate which program blocks may potentially be executed in parallel…”
Získat plný text

A Taxonomy and Qualitative Comparison of Program Analysis Techniques for Security Assessment of Android Software Autor Sadeghi, Alireza, Bagheri, Hamid, Garcia, Joshua, Malek, Sam

“…In parallel with the meteoric rise of mobile software, we are witnessing an alarming escalation in the number and sophistication of the security threats targeted at mobile platforms, particularly…”
Získat plný text

Detecting harmful data races through parallel verification Autor Wu, Zhendong, Lu, Kai, Wang, Xiaoping, Zhou, Xu, Chen, Chen

“… The multicore technology trend worsens this problem. Unlike previous work, to detect the harmful races, we try to improve the efficiency through parallel verification…”
Získat plný text

A MapReduce-based parallel K-means clustering for large-scale CIM data verification Autor Deng, Chuang, Liu, Yang, Xu, Lixiong, Yang, Jie, Liu, Junyong, Li, Siguang, Li, Maozhen

“… This paper presents a parallel K‐means clustering algorithm for large‐scale CIM data verification…”
Získat plný text

Automated Verification of Functional Correctness of Race-Free GPU Programs Autor Kojima, Kensuke, Imanishi, Akifumi, Igarashi, Atsushi

“…We study an automated verification method for functional correctness of parallel programs running on graphics processing units (GPUs…”
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

Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System Autor Kondratyev, D. A.

“…The C-lightVer system for deductive verification of C programs has been developed at the Institute of Informatics Systems of the Siberian Branch of the Russian Academy of Sciences (IIS SB RAS…”
Získat plný text

The use of erratic behavior templates in debugging parallel programs by the automated validity verification method Autor Vlasenko, A. Yu, Gudov, A. M.

“…A modification of the method of automated validity verification used in debugging parallel programs for computers with distributed memory is proposed…”
Získat plný text