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

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

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

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

Safety Mechanism Design and Verification of Safety Computer Parallel Program Autor 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…”
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

Construction and verification of retinal vessel segmentation algorithm for color fundus image under BP neural network model Autor 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…”
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

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

“…Visual object tracking has played a crucial role in computer vision with many applications…”
Získat plný text

Workflow temporal verification for monitoring parallel business processes Autor 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…”
Získat plný text

Monte Carlo computer simulation of a camera system for proton beam range verification in cancer treatment Autor 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…”
Získat plný text

A simple anti-parallel diodes based chaotic jerk circuit with arcsinh function: theoretical analysis and experimental verification Autor 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…”
Získat plný text

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

“…Operation of parallel-connected 4H-SiC vertical junction field effect transistors (VJFETs…”
Získat plný text

Proving Properties of Dekker’s Algorithm for Mutual Exclusion of N Processes Autor 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…”
Získat plný text

CMFuzz: Parallel Fuzzing of IoT Protocols by Configuration Model Identification and Scheduling Autor 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…”
Získat plný text

An efficient method for tracking failure detection using parallel correlation filtering and Siamese network Autor 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…”
Získat plný text

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

“…This paper presents a new quantum secret sharing scheme featuring a (k, n) threshold and built-in verification…”
Získat plný text

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

“…Verification recently has become a challenging topic for business process languages…”
Získat plný text

Beyond soundness: on the verification of semantic business process models Autor 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…”
Získat plný text

Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph Autor 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…”
Získat plný text

A DEM-based general modeling method and experimental verification for wheat plants in the mature period Autor 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…”
Získat plný text