Výsledky vyhľadávania - Algorithm-based verification
-
1
Cost-Optimized and Highly Robust Latches Providing Complete Quadruple-Node-Upset Tolerance and Recovery With Algorithm-Based Verifications
ISSN: 0018-9251, 1557-9603Vydavateľské údaje: New York IEEE 01.06.2025Vydané v IEEE transactions on aerospace and electronic systems (01.06.2025)“…With the aggressive shrinking of transistor feature sizes, nanoscale complementary metal oxide semiconductor (CMOS) circuits are becoming more vulnerable to…”
Získať plný text
Journal Article -
2
MURLAV: A Multiple-Node-Upset Recovery Latch and Algorithm-Based Verification Method
ISSN: 0278-0070, 1937-4151Vydavateľské údaje: New York IEEE 01.07.2024Vydané v IEEE transactions on computer-aided design of integrated circuits and systems (01.07.2024)“…) induced in harsh radiation environments. The existing verification of the reliability of latches highly relies on electronic design automation (EDA…”
Získať plný text
Journal Article -
3
LDAVPM: A Latch Design and Algorithm-Based Verification Protected Against Multiple-Node-Upsets in Harsh Radiation Environments
ISSN: 0278-0070, 1937-4151Vydavateľské údaje: New York IEEE 01.06.2023Vydané v IEEE transactions on computer-aided design of integrated circuits and systems (01.06.2023)“… In this article, a latch design protected against MNUs in the harsh radiation as well as an algorithm-based verification process is proposed…”
Získať plný text
Journal Article -
4
Cost-Optimized Double-Node-Upset-Recovery Latch Designs With Aging Mitigation and Algorithm-Based Verification for Long-Term Robustness Enhancement
ISSN: 1063-8210, 1557-9999Vydavateľské údaje: New York IEEE 01.06.2025Vydané v IEEE transactions on very large scale integration (VLSI) systems (01.06.2025)“…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ískať plný text
Journal Article -
5
MURLAV: A Multiple-Node-Upset Recovery Latch and Algorithm-Based Verification Method
ISSN: 0278-0070, 1937-4151Vydavateľské údaje: Institute of Electrical and Electronics Engineers (IEEE) 01.07.2024Vydané v IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (01.07.2024)Získať plný text
Journal Article -
6
Cost Efficient Flip-Flop Designs With Multiple-Node Upset-Tolerance and Algorithm-Based Verifications
ISSN: 0278-0070, 1937-4151Vydavateľské údaje: New York IEEE 01.01.2025Vydané v IEEE transactions on computer-aided design of integrated circuits and systems (01.01.2025)“…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ískať plný text
Journal Article -
7
New benchmark problems for verification of the curve‐to‐surface contact algorithm based on the generalized Euler–Eytelwein problem
ISSN: 0029-5981, 1097-0207Vydavateľské údaje: Hoboken, USA John Wiley & Sons, Inc 30.01.2022Vydané v International journal for numerical methods in engineering (30.01.2022)“… Verification of the numerical contact algorithm usually includes only a few cases due to a limited number of available analytic solutions (e.g…”
Získať plný text
Journal Article -
8
NC machining verification algorithm based on the STL model
ISSN: 0268-3768, 1433-3015Vydavateľské údaje: London Springer London 01.09.2020Vydané v International journal of advanced manufacturing technology (01.09.2020)“…) 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ískať plný text
Journal Article -
9
HALTRAV: Design of a High-Performance and Area-Efficient Latch With Triple-Node-Upset Recovery and Algorithm-Based Verifications
ISSN: 0278-0070, 1937-4151Vydavateľské údaje: New York IEEE 01.06.2025Vydané v IEEE transactions on computer-aided design of integrated circuits and systems (01.06.2025)“… 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ískať plný text
Journal Article -
10
QtNURAV: A Robust Latch Design with Quintuple Node Upset Recovery and Algorithm based Verifications for Aerospace Applications
ISSN: 0018-9251, 1557-9603Vydavateľské údaje: IEEE 2025Vydané v IEEE transactions on aerospace and electronic systems (2025)“… 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ískať plný text
Journal Article -
11
Corrigendum to "A Realistic Early-Stage Power Grid Verification Algorithm Based on Hierarchical Constraints" [Jan 12 109-120]
ISSN: 0278-0070, 1937-4151Vydavateľské údaje: IEEE 01.03.2012Vydané v IEEE transactions on computer-aided design of integrated circuits and systems (01.03.2012)“…The authors for the above titled paper were incorrectly listed. The correct list of authors is presented here…”
Získať plný text
Journal Article -
12
Face verification algorithm based on Angular Margin triplet
ISSN: 1742-6588, 1742-6596Vydavateľské údaje: Bristol IOP Publishing 01.03.2021Vydané v Journal of physics. Conference series (01.03.2021)“…In recent years, the face recognition algorithm based on CNN mainly focuses on the improvement of loss function…”
Získať plný text
Journal Article -
13
Finger Vein Verification Algorithm Based on Fully Convolutional Neural Network and Conditional Random Field
ISSN: 2169-3536, 2169-3536Vydavateľské údaje: Piscataway IEEE 2020Vydané v IEEE access (2020)“…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ískať plný text
Journal Article -
14
DWSCNN Online Signature Verification Algorithm Based on CAE-MV Feature Dimensionality Reduction
ISSN: 2169-3536, 2169-3536Vydavateľské údaje: Piscataway IEEE 2024Vydané v IEEE access (2024)“… neural network computation time, and high resource consumption. In this paper, an online handwritten signature verification algorithm is proposed, which mainly uses…”
Získať plný text
Journal Article -
15
Cloud Data Integrity Verification Algorithm Based on Data Mining and Accounting Informatization
ISSN: 1058-9244, 1875-919XVydavateľské údaje: New York Hindawi 09.09.2022Vydané v Scientific programming (09.09.2022)“… 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ískať plný text
Journal Article -
16
Aggregation algorithm based on consensus verification
ISSN: 2045-2322, 2045-2322Vydavateľské údaje: London Nature Publishing Group UK 09.08.2023Vydané v Scientific reports (09.08.2023)“… This algorithm allows computational nodes to use the information of verification nodes to verify the effectiveness of the gradient…”
Získať plný text
Journal Article -
17
Excretion Detection System with Gas Sensor – Proposal and Verification of Algorithm Based on Time-Series Clustering
ISSN: 0915-3942, 1883-8049Vydavateľské údaje: Tokyo Fuji Technology Press Co. Ltd 01.04.2017Vydané v Journal of robotics and mechatronics (01.04.2017)“…[abstFig src='/00290002/09.jpg' width='300' text='Standard Lifilm configuration' ] In this study, we propose an excretion detection system, Lifi, which does…”
Získať plný text
Journal Article -
18
Cost Efficient Flip-Flop Designs With Multiple-Node Upset-Tolerance and Algorithm-Based Verifications
ISSN: 0278-0070, 1937-4151Vydavateľské údaje: Institute of Electrical and Electronics Engineers (IEEE) 01.01.2024Vydané v IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (01.01.2024)Získať plný text
Journal Article -
19
Classified optic disc localization algorithm based on verification model
ISSN: 0097-8493, 1873-7684Vydavateľské údaje: Oxford Elsevier Ltd 01.02.2018Vydané v Computers & graphics (01.02.2018)“…•We propose a framework to integrate two OD localization methods.•A verification model is presented according to the OD features…”
Získať plný text
Journal Article -
20
The Importance of Assuring Algorithm-based Verification Agents
ISSN: 2261-236X, 2274-7214, 2261-236XVydavateľské údaje: Les Ulis EDP Sciences 2019Vydané v MATEC web of conferences (2019)“… An automatic condition-based survey scheme, utilizing data from sensors and algorithms is seen as more efficient…”
Získať plný text
Journal Article Konferenčný príspevok..