Search Results - parallel process (computer 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

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

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

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

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

Monte Carlo computer simulation of a camera system for proton beam range verification in cancer treatment by Sun, Xiao-Li, Wang, Hui, Li, Xin-Ke, Cao, Guo-Hong, Kuang, Yu, Zhang, Xiao-Chen

“… A newly designed 3-D prompt gamma (PG) camera system was developed using Monte Carlo computer simulation method to validate the utility of the camera simulated for in-beam proton range verification during cancer treatment…”
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

Beyond soundness: on the verification of semantic business process models by Weber, Ingo, Hoffmann, Jörg, Mendling, Jan

“…The verification of control-flow soundness is well understood as an important step before deploying business process models…”
Get full text

Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph by Ouni, Hiba, Klai, Kais, Abid, Chiheb Ameur, Zouari, Belhassen

“…An efficient way to cope with the combinatorial explosion problem induced by the model checking process is to compute the Symbolic Observation Graph (SOG…”
Get full text

A DEM-based general modeling method and experimental verification for wheat plants in the mature period by Sun, Kai, Yu, Jianqun, Zhao, Jinwen, Liang, Liusuo, Wang, Yang, Yu, Yajun

“…•The experimental verification and simulation analysis of plant models were carried out. Simulation of the wheat harvesting process using the discrete element method is of significant importance in optimizing the components of wheat harvesting machinery…”
Get full text