Search Results - parallel (progress OR process) (computer (progress OR process)) verification.

Wireless Traffic Prediction With Scalable Gaussian Process: Framework, Algorithms, and Verification by 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…”
Get full text

Work in Progress: Path-based Graph Partition for Parallel Hardware-accelerated Functional Verification by 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…”
Get full text

Reliability and Confidentiality Co-Verification for Parallel Applications in Distributed Systems by 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…”
Get full text

Finite Element Simulation of the Parallel Tubular Channel Angular Pressing Process for Al–Cu Bimetallic Tube with Experimental Verification by 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…”
Get full text

BPPChecker: An SMT-based Model Checker on Basic Parallel Processes by 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…”
Get full text

Construction and verification of retinal vessel segmentation algorithm for color fundus image under BP neural network model by Tang, Siyuan, Yu, Feifei

“…To improve the accuracy of retinal vessel segmentation, a retinal vessel segmentation algorithm for color fundus images based on back-propagation (BP) neural…”
Get full text

A Parallel Tempering Approach for Efficient Exploration of the Verification Tradespace in Engineered Systems by Xu, Peng, Salado, Alejandro, Deng, Xinwei

“…Verification is a critical process in the development of engineered systems. Through verification, engineers gain confidence in the correct functionality of the system before it is deployed into operation…”
Get full text

Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker by Konnov, Igor, Lazić, Marijana, Stoilkovska, Ilina, Widder, Josef

“…) the correct processes count messages and make progress when they receive sufficiently many messages, e.g., at least$t+1$ ; (3) the number$n…”
Get full text

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

“… A verification framework based on invariant proof and parallel separation logic theory is designed and operating system operation semantics are given for mathematical reasoning and proving…”
Get full text

CADP 2011: a toolbox for the construction and analysis of distributed processes by 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…”
Get full text

Parallel Tracking and Verifying by Fan, Heng, Ling, Haibin

“…Visual object tracking has played a crucial role in computer vision with many applications…”
Get full text

Workflow temporal verification for monitoring parallel business processes by Liu, Xiao, Wang, Dingxian, Yuan, Dong, Wang, Futian, Yang, Yun

“…‐time based process monitoring strategies conducted in a one‐by‐one fashion cannot be applied efficiently to a large batch of parallel processes because of significant time overhead…”
Get full text

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

“…; parallel processing; virtual machines; learning (artificial intelligence)…”
Get full text

A simple anti-parallel diodes based chaotic jerk circuit with arcsinh function: theoretical analysis and experimental verification by Kengne, Jacques, Kengne, Léandre Kamdjeu, Chedjou, Jean Chamberlain, Nosirov, Khabibullo

“…This paper introduces a novel autonomous chaotic jerk circuit with an antiparallel diodes pair whose mathematical model involves an inverse hyperbolic sine…”
Get full text

Analysis and Experimental Verification of the Influence of Fabrication Process Tolerances and Circuit Parasitics on Transient Current Sharing of Parallel-Connected SiC JFETs by Jang-Kwon Lim, Peftitsis, Dimosthenis, Rabkowski, Jacek, Bakowski, Mietek, Nee, Hans-Peter

“…Operation of parallel-connected 4H-SiC vertical junction field effect transistors (VJFETs…”
Get full text

Proving Properties of Dekker’s Algorithm for Mutual Exclusion of N Processes by Nigro, Libero, Cicirelli, Franco

“…Dekker’s algorithm for mutual exclusion of two processes is the well-known first developed correct solution based only on software mechanisms…”
Get full text

CMFuzz: Parallel Fuzzing of IoT Protocols by Configuration Model Identification and Scheduling by Xu, Qi, Ma, Fuchen, Chen, Yuanliang, Chen, Wanli, Wu, Feifan, Zhao, Yanyang, Shi, Heyuan, Jiang, Yu

“… This limitation can lead to missing critical bugs that appear only under alternative configurations.In this paper, we propose CMFuzz, a parallel fuzzing framework designed…”
Get full text

An efficient method for tracking failure detection using parallel correlation filtering and Siamese network by Chen, Shaolong, Qiu, Changzhen, Zhang, Zhiyong

“…, and results in unrecoverable tracking failures. In this paper, a general and efficient two-way verification tracking failure detection method using parallel correlation filtering and Siamese network is proposed, which can detect the tracking…”
Get full text

A Distributed and Parallel (k, n) QSS Scheme with Verification Capability by Andronikos, Theodore

“…This paper presents a new quantum secret sharing scheme featuring a (k, n) threshold and built-in verification…”
Get full text

A new verification technique for large processes based on identification of relevant tasks by Mrasek, Richard, Mülle, Jutta, Böhm, Klemens

“…Verification recently has become a challenging topic for business process languages…”
Get full text