Výsledky vyhledávání - Algorithm-based verification

Cost-Optimized and Highly Robust Latches Providing Complete Quadruple-Node-Upset Tolerance and Recovery With Algorithm-Based Verifications Autor Yan, Aibin, Zhou, Chao, Ni, Tianming, Zhang, Jing, Cui, Jie, Huang, Zhengfeng, Girard, Patrick, Wen, Xiaoqing

“…With the aggressive shrinking of transistor feature sizes, nanoscale complementary metal oxide semiconductor (CMOS) circuits are becoming more vulnerable to…”
Získat plný text

MURLAV: A Multiple-Node-Upset Recovery Latch and Algorithm-Based Verification Method Autor Yan, Aibin, Li, Zhixing, Gao, Zhongyu, Zhang, Jing, Huang, Zhengfeng, Ni, Tianming, Cui, Jie, Wang, Xiaolei, Girard, Patrick, Wen, Xiaoqing

“…) induced in harsh radiation environments. The existing verification of the reliability of latches highly relies on electronic design automation (EDA…”
Získat plný text

LDAVPM: A Latch Design and Algorithm-Based Verification Protected Against Multiple-Node-Upsets in Harsh Radiation Environments Autor Yan, Aibin, Li, Zhixing, Cui, Jie, Huang, Zhengfeng, Ni, Tianming, Girard, Patrick, Wen, Xiaoqing

“… In this article, a latch design protected against MNUs in the harsh radiation as well as an algorithm-based verification process is proposed…”
Získat plný text

Cost-Optimized Double-Node-Upset-Recovery Latch Designs With Aging Mitigation and Algorithm-Based Verification for Long-Term Robustness Enhancement Autor Yan, Aibin, Hu, Changli, Li, Jing, Bai, Na, Huang, Zhengfeng, Ni, Tianming, Patrick, Girard, Wen, Xiaoqing

“…With the continuous advancement of CMOS technologies, soft errors, such as single-node upset (SNU) and double-node upset (DNU), caused by radiation in…”
Získat plný text

MURLAV: A Multiple-Node-Upset Recovery Latch and Algorithm-Based Verification Method Autor Aibin Yan, Zhixing Li, Zhongyu Gao, Jing Zhang, Zhengfeng Huang, Tianming Ni, Jie Cui, Xiaolei Wang, Patrick Girard, Xiaoqing Wen

Získat plný text

Cost Efficient Flip-Flop Designs With Multiple-Node Upset-Tolerance and Algorithm-Based Verifications Autor Yan, Aibin, He, Yuting, Huang, Zhengfeng, Yan, Wenjie, Cui, Jie, Wang, Xiaolei, Ni, Tianming, Girard, Patrick, Wen, Xiaoqing

“…This article presents radiation-hardened flip-flop (FF) designs capable of tolerating soft errors, e.g., single-node upsets (SNUs), double-node upsets (DNUs)…”
Získat plný text

New benchmark problems for verification of the curve‐to‐surface contact algorithm based on the generalized Euler–Eytelwein problem Autor Konyukhov, Alexander, Shala, Shqipron

“… Verification of the numerical contact algorithm usually includes only a few cases due to a limited number of available analytic solutions (e.g…”
Získat plný text

NC machining verification algorithm based on the STL model Autor Miao, Ying, Song, Xiaowen, Wang, Jun, Lu, Zhonghua

“…) model-based numerically controlled (NC) machining verification is presented, which is inspired by several algorithms used for evaluating the difference between two triangular meshes of similar shape, and some improvements are made…”
Získat plný text

HALTRAV: Design of a High-Performance and Area-Efficient Latch With Triple-Node-Upset Recovery and Algorithm-Based Verifications Autor Guo, Xing, Zhang, Jiajia, Meng, Xu, Li, Zhenmin, Wen, Xiaoqing, Girard, Patrick, Liang, Bin, Yan, Aibin

“… design automation tools, we further propose an algorithm-based verification method that can automatically verify the node-upset-recovery of latches, which greatly simplifies the reliability-verification flow…”
Získat plný text

QtNURAV: A Robust Latch Design with Quintuple Node Upset Recovery and Algorithm based Verifications for Aerospace Applications Autor Yan, Aibin, Li, Jing, Bao, Han, Ni, Tianming, Huang, Zhengfeng, Liang, Bin, Girard, Patrick, Wen, Xiaoqing

“… In this paper, we present a robust latch, namely QtNURAV, to protect against QtNU for aerospace applications, along with an algorithm-based QtNU recovery verification method…”
Získat plný text

Corrigendum to "A Realistic Early-Stage Power Grid Verification Algorithm Based on Hierarchical Constraints" [Jan 12 109-120] Autor Wang, Yuanzhe, Hu, Xiang, Cheng, Chung-Kuan, Pang, Grantham K. H., Wong, Ngai

“…The authors for the above titled paper were incorrectly listed. The correct list of authors is presented here…”
Získat plný text

Face verification algorithm based on Angular Margin triplet Autor Wang, Ning, Meng, Tao, Chen, Xiaoyong, Yuan, Dunlei, Yue, Qihong, Liu, Xiangqian

“…In recent years, the face recognition algorithm based on CNN mainly focuses on the improvement of loss function…”
Získat plný text

Finger Vein Verification Algorithm Based on Fully Convolutional Neural Network and Conditional Random Field Autor Zeng, Junying, Wang, Fan, Deng, Jianxiang, Qin, Chuanbo, Zhai, Yikui, Gan, Junying, Piuri, Vincenzo

“…Owing to the complexity of finger vein patterns in shape and spatial dependence, the existing methods suffer from an inability to obtain accurate and stable…”
Získat plný text

DWSCNN Online Signature Verification Algorithm Based on CAE-MV Feature Dimensionality Reduction Autor Zheng, Jianbin, Chen, Ziyao, Huang, Liping, Gao, Yifan, Yu, Xiangxiang, Wang, Hui, Yang, Jiamei, Wang, Yu

“… neural network computation time, and high resource consumption. In this paper, an online handwritten signature verification algorithm is proposed, which mainly uses…”
Získat plný text

Cloud Data Integrity Verification Algorithm Based on Data Mining and Accounting Informatization Autor Wang, Junli, Yang, Xiqian, Li, Zhi

“… Any inconsistencies in the actual data required can be detected by the user. This article aims to study cloud data integrity verification algorithms based on data mining and accounting informatization…”
Získat plný text

Aggregation algorithm based on consensus verification Autor Shichao, Li, Jiwei, Qin

“… This algorithm allows computational nodes to use the information of verification nodes to verify the effectiveness of the gradient…”
Získat plný text

Excretion Detection System with Gas Sensor – Proposal and Verification of Algorithm Based on Time-Series Clustering Autor Ui, Yoshimi, Akiba, Yutaka, Sugano, Shohei, Imai, Ryosuke, Tomiyama, Ken

“…[abstFig src='/00290002/09.jpg' width='300' text='Standard Lifilm configuration' ] In this study, we propose an excretion detection system, Lifi, which does…”
Získat plný text

Cost Efficient Flip-Flop Designs With Multiple-Node Upset-Tolerance and Algorithm-Based Verifications Autor Aibin Yan, Yuting He, Zhengfeng Huang, Wenjie Yan, Jie Cui, Xiaolei Wang, Tianming Ni, Patrick Girard, Xiaoqing Wen

Získat plný text

Classified optic disc localization algorithm based on verification model Autor Zou, Beiji, Chen, Changlong, Zhu, Chengzhang, Duan, Xuanchu, Chen, Zailiang

“…•We propose a framework to integrate two OD localization methods.•A verification model is presented according to the OD features…”
Získat plný text

The Importance of Assuring Algorithm-based Verification Agents Autor Haugen, Odd Ivar

“… An automatic condition-based survey scheme, utilizing data from sensors and algorithms is seen as more efficient…”
Získat plný text