Search Results - Algorithm-based verification

Cost-Optimized and Highly Robust Latches Providing Complete Quadruple-Node-Upset Tolerance and Recovery With Algorithm-Based Verifications by 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…”
Get full text

MURLAV: A Multiple-Node-Upset Recovery Latch and Algorithm-Based Verification Method by 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…”
Get full text

LDAVPM: A Latch Design and Algorithm-Based Verification Protected Against Multiple-Node-Upsets in Harsh Radiation Environments by 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…”
Get full text

Cost-Optimized Double-Node-Upset-Recovery Latch Designs With Aging Mitigation and Algorithm-Based Verification for Long-Term Robustness Enhancement by 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…”
Get full text

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

Get full text

Cost Efficient Flip-Flop Designs With Multiple-Node Upset-Tolerance and Algorithm-Based Verifications by 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)…”
Get full text

New benchmark problems for verification of the curve‐to‐surface contact algorithm based on the generalized Euler–Eytelwein problem by 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…”
Get full text

NC machining verification algorithm based on the STL model by 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…”
Get full text

HALTRAV: Design of a High-Performance and Area-Efficient Latch With Triple-Node-Upset Recovery and Algorithm-Based Verifications by 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…”
Get full text

QtNURAV: A Robust Latch Design with Quintuple Node Upset Recovery and Algorithm based Verifications for Aerospace Applications by 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…”
Get full text

Corrigendum to "A Realistic Early-Stage Power Grid Verification Algorithm Based on Hierarchical Constraints" [Jan 12 109-120] by 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…”
Get full text

Face verification algorithm based on Angular Margin triplet by 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…”
Get full text

Finger Vein Verification Algorithm Based on Fully Convolutional Neural Network and Conditional Random Field by 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…”
Get full text

DWSCNN Online Signature Verification Algorithm Based on CAE-MV Feature Dimensionality Reduction by 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…”
Get full text

Cloud Data Integrity Verification Algorithm Based on Data Mining and Accounting Informatization by 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…”
Get full text

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

“… This algorithm allows computational nodes to use the information of verification nodes to verify the effectiveness of the gradient…”
Get full text

Excretion Detection System with Gas Sensor – Proposal and Verification of Algorithm Based on Time-Series Clustering by 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…”
Get full text

Classified optic disc localization algorithm based on verification model by 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…”
Get full text

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

“… An automatic condition-based survey scheme, utilizing data from sensors and algorithms is seen as more efficient…”
Get full text

A Novel Video Face Verification Algorithm Based on TPLBP and the 3D Siamese-CNN by Wang, Yu, Ma, Shuyang, Shen, Xuanjing

“… video face verification algorithm based on a three-patch local binary pattern (TPLBP) and the 3D Siamese convolutional neural network is proposed in this paper…”
Get full text