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

Cost-Optimized Double-Node-Upset-Recovery Latch Designs With Aging Mitigation and Algorithm-Based Verification for Long-Term Robustness Enhancement

Autoři: Aibin Yan Changli Hu Jing Li a další

Zdroj: IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 33:1765-1773

MURLAV: A Multiple-Node-Upset Recovery Latch and Algorithm-Based Verification Method

Autoři: Aibin Yan Zhixing Li Zhongyu Gao a další

Zdroj: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 43:2205-2214

LDAVPM: A Latch Design and Algorithm-Based Verification Protected Against Multiple-Node-Upsets in Harsh Radiation Environments

Autoři: Aibin Yan Zhixing Li Jie Cui a další

Zdroj: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 42:2069-2073

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences, 0105 earth and related environmental sciences

Algorithm-based Verification of Manufacturing Constraints for a Loadpath Reinforced Fabric

Autoři: Tjard Bätge Eiko Türck Thomas Vietor a další

Zdroj: Procedia CIRP. 85:347-352

Témata: 0205 materials engineering, 02 engineering and technology, 0210 nano-technology

Přístupová URL adresa: https://www.sciencedirect.com/science/article/pii/S2212827119313198#!
https://www.sciencedirect.com/science/article/pii/S2212827119313198

Graph-Algorithm Based Verification on Network Configuration Robustness

Autoři: Chen, Zibin

Popis souboru: application/pdf

Přístupová URL adresa: https://scholarworks.umass.edu/masters_theses_2/1009/

The Importance of Assuring Algorithm-based Verification Agents

Autoři: Haugen Odd Ivar

Zdroj: MATEC Web of Conferences, Vol 273, p 01010 (2019)

Témata: Objectivity, Algorithm-based Verification Agent, Verification of Algorithms, Emic Verification, Etic Verification, Engineering (General). Civil engineering (General), TA1-2040

Popis souboru: electronic resource

Relation: https://www.matec-conferences.org/articles/matecconf/pdf/2019/22/matecconf_icsc_eswc2018_01010.pdf; https://doaj.org/toc/2261-236X

Přístupová URL adresa: https://doaj.org/article/8e6abfebbd3444e0abf244adba87fd79

HALTRAV: Design of A High-performance and Area-efficient Latch with Triple-node-upset Recovery and Algorithm-based Verifications

Autoři: Guo, Xing Zhang, Jiajia Meng, Xu a další

Přispěvatelé: Guo, Xing Zhang, Jiajia Meng, Xu a další

Zdroj: ISSN: 0278-0070 ; IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04954952 ; IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, In press, pp.1-1. ⟨10.1109/TCAD.2024.3511335⟩.

Témata: Triple node upset, Latch design, Source-drain cross-coupled inverters, Algorithm-based verification, [SPI.NANO]Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics

Dostupnost: https://hal-lirmm.ccsd.cnrs.fr/lirmm-04954952
https://hal-lirmm.ccsd.cnrs.fr/lirmm-04954952v1/document
https://hal-lirmm.ccsd.cnrs.fr/lirmm-04954952v1/file/TCAD_HALTRAV.pdf
https://doi.org/10.1109/TCAD.2024.3511335

Algorithm-based Verification of Manufacturing Constraints for a Loadpath Reinforced Fabric.

Autoři: Gebhardt, Philipp Bätge, Tjard Türck, Eiko a další

Zdroj: Procedia CIRP. 2019, Vol. 85, p347-352. 6p.

A High-Performance Quadruple-Node-Upset-Tolerant Latch Design and an Algorithm for Tolerance Verification of Hardened Latches.

Autoři: Xu, Hui Qin, Xuewei Ma, Ruijun a další

Zdroj: Journal of Electronic Testing. Feb2024, Vol. 40 Issue 1, p45-60. 16p.

Témata: *SEMICONDUCTOR technology, *INTEGRATED circuits, *SOFT errors, *COMPLEMENTARY metal oxide semiconductors, *CIRCUIT complexity, *ALGORITHMS, *RESEARCH personnel

Graph-Algorithm Based Verification on Network Configuration Robustness

Autoři: Chen, Zibin

Zdroj: Masters Theses.

Popis souboru: application/pdf

Dostupnost: https://scholarworks.umass.edu/masters_theses_2/1009
https://scholarworks.umass.edu/context/masters_theses_2/article/2055/viewcontent/thesis.pdf

Fault-tolerant deep learning inference on CPU-GPU integrated edge devices with TEEs.

Autoři: Xu, Hongjian Liao, Longlong Liu, Xinqi a další

Zdroj: Future Generation Computer Systems. Dec2024, Vol. 161, p404-414. 11p.

Témata: *ALGORITHMS, MACHINE learning, INFERENCE (Logic), DEEP learning, MEMORY

A new efficient image processing circuit based on a nano-scale median filter and quantum-dot cellular automata.

Autoři: Song, Ling Yu, Minggong Yuan, Yuan a další

Zdroj: International Journal of General Systems; Oct2025, Vol. 54 Issue 7, p869-887, 19p

Témata: DIGITAL image processing, MEDIAN filters (Electronics), IMAGE processing, CELLULAR automata, COMPUTER performance, SIGNAL filtering

Reversible arithmetic and logic unit using a novel reversible NRRG gate in quantum dot technology.

Autoři: Norouzi, Maliheh Heikalabad, Saeed Rasouli

Zdroj: Journal of Applied Physics; 8/28/2024, Vol. 136 Issue 8, p1-10, 10p

Témata: QUANTUM gates, ARCHITECTURAL design, LOGIC circuits, QUANTUM dots, CELLULAR automata

A DFT study of Alkaline-earth-metal-doped Hf1 − xAxO2(A = Be, Mg, Ca) for photovolataic applications.

Autoři: Nazir, Abrar Ali, Ali B. M. Khera, Ejaz Ahmad a další

Zdroj: Journal of Electroceramics; Sep2025, Vol. 53 Issue 3, p269-280, 12p

Design of reconfigurable logic computing circuit for chaotic system.

Autoři: Qing, Shanying Ruan, Zeyu Ma, Ben a další

Zdroj: Physica Scripta; Jan2025, Vol. 100 Issue 1, p1-13, 13p

Presenting a new method for optimal placement of reliability-based distributed generation units in the transmission system considering the demand response schedule.

Autoři: Chu, Yifan Hu, Fei

Zdroj: Electrical Engineering; Jan2025, Vol. 107 Issue 1, p79-93, 15p

Témata: ELECTRIC power, PARTICLE swarm optimization, MACHINE learning, COMPUTER science, TECHNOLOGICAL innovations

Application of Photoelectric Conversion Technology in Photoelectric Signal Sampling System.

Autoři: Zhao, Guobin Zhao, Hui Zhang, Jian a další

Zdroj: Archives of Computational Methods in Engineering; Jan2025, Vol. 32 Issue 1, p233-253, 21p

Quantum Machine Learning: Exploring the Role of Data Encoding Techniques, Challenges, and Future Directions.

Autoři: Ranga, Deepak Rana, Aryan Prajapat, Sunil a další

Zdroj: Mathematics (2227-7390); Nov2024, Vol. 12 Issue 21, p3318, 32p

Témata: QUANTUM computing, MACHINE learning, RESEARCH personnel, ENCODING, SCALABILITY

Enhancing precision in table tennis officiating through an optimized autonomous sensor node system.

Autoři: Sun, Chenyang Khishe, Mohammad

Zdroj: Engineering Computations; 2024, Vol. 41 Issue 8/9, p2134-2168, 35p

Témata: SPORTS & technology, TABLE tennis, OPTIMIZATION algorithms, SPORTS officiating, SENSOR arrays

Holomorphism and Edge Labeling: An Inner Study of Latin Squares Associated with Antiautomorphic Inverse Property Moufang Quasigroups with Applications.

Autoři: Hazzazi, Mohammad Mazyad Nadeem, Muhammad Kamran, Muhammad a další

Zdroj: Complexity; 9/26/2024, Vol. 2024, p1-17, 17p

Témata: MAGIC squares, GRAPH theory, ABELIAN groups, COMPLETE graphs, ALGEBRA