Suchergebnisse - Algorithm-based verification

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

MURLAV: A Multiple-Node-Upset Recovery Latch and Algorithm-Based Verification Method von 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 …”
Volltext

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

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

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

Volltext

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

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

NC machining verification algorithm based on the STL model von 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 …”
Volltext

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

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

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

Face verification algorithm based on Angular Margin triplet von 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 …”
Volltext

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

DWSCNN Online Signature Verification Algorithm Based on CAE-MV Feature Dimensionality Reduction von 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 …”
Volltext

Cloud Data Integrity Verification Algorithm Based on Data Mining and Accounting Informatization von 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 …”
Volltext

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

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

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

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

Volltext

Classified optic disc localization algorithm based on verification model von 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 …”
Volltext

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

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