يعرض 1 - 10 نتائج من 2,796 نتيجة بحث عن '"binary decision diagrams"', وقت الاستعلام: 1.03s تنقيح النتائج
  1. 1
    دورية أكاديمية
    cecApprox: Enabling Automated Combinational Equivalence Checking for Approximate Circuits

    المؤلفون: Jha, C.K., Hassan, M., Drechsler, R.

    المصدر: IEEE Transactions on Circuits and Systems I: Regular Papers IEEE Trans. Circuits Syst. I Circuits and Systems I: Regular Papers, IEEE Transactions on. 71(7):3282-3293 Jul, 2024

    Full Text Finder
    أضف إلى المفضلة
  2. 2
    مؤتمر
    Fusion Assessment of Safety and Security for Intelligent Industrial Unmanned Systems

    المؤلفون: Cai, Rongyao, Xv, Xiao, Lu, Zhengming, Zhang, Kexin, Liu, Yong

    المصدر: 2024 7th International Symposium on Autonomous Systems (ISAS) Autonomous Systems (ISAS), 2024 7th International Symposium on. :1-6 May, 2024

    Relation: 2024 7th International Symposium on Autonomous Systems (ISAS)

    أضف إلى المفضلة
  3. 3
    مؤتمر
    Quantum Circuit Simulation with Fast Tensor Decision Diagram

    المؤلفون: Zhang, Qirui, Saligane, Mehdi, Kim, Hun-Seok, Blaauw, David, Tzimpragos, Georgios, Sylvester, Dennis

    المصدر: 2024 25th International Symposium on Quality Electronic Design (ISQED) Quality Electronic Design (ISQED), 2024 25th International Symposium on. :1-8 Apr, 2024

    Relation: 2024 25th International Symposium on Quality Electronic Design (ISQED)

    Full Text Finder
    أضف إلى المفضلة
  4. 4
    دورية أكاديمية
    Fault Tree Analysis Including Component Dependencies

    المؤلفون: Tolo, S., Andrews, J.

    المصدر: IEEE Transactions on Reliability IEEE Trans. Rel. Reliability, IEEE Transactions on. 73(1):413-421 Mar, 2024

    Full Text Finder
    أضف إلى المفضلة
  5. 5
    مؤتمر
    READ-based In-Memory Computing using Sentential Decision Diagrams

    المؤلفون: Thijssen, Sven, Rashed, Muhammad Rashedul Haq, Jha, Sumit Kumar, Ewetz, Rickard

    المصدر: 2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC) Design Automation Conference (ASP-DAC), 2024 29th Asia and South Pacific. :818-823 Jan, 2024

    Relation: 2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC)

    View Record from ACM Digital Library Full Text Finder
    أضف إلى المفضلة
  6. 6
    مؤتمر
    Solving Large Fault Trees with Importance Sampling and Tree Search

    المؤلفون: Zhao, Yunfei, O'Leary, Joseph

    المصدر: 2024 Annual Reliability and Maintainability Symposium (RAMS) Reliability and Maintainability Symposium (RAMS), 2024 Annual. :1-6 Jan, 2024

    Relation: 2024 Annual Reliability and Maintainability Symposium (RAMS)

    Full Text Finder
    أضف إلى المفضلة
  7. 7
    مؤتمر
    Optimization of Imprecise Multiplier Circuits by using Binary Decision Diagram

    المؤلفون: Choudhary, Pooja, Bhargava, Lava, Vinod, G.U., Suhag, Ashok Kumar, Fujita, Mashahiro, Singh, Virendra

    المصدر: 2023 IEEE International Symposium on Smart Electronic Systems (iSES) ISES Smart Electronic Systems (iSES), 2023 IEEE International Symposium on. :115-120 Dec, 2023

    Relation: 2023 IEEE International Symposium on Smart Electronic Systems (iSES)

    Full Text Finder
    أضف إلى المفضلة
  8. 8
    مؤتمر
    Automated Polynomial Formal Verification: Human-Readable Proof Generation

    المؤلفون: Drechsler, Rolf, Schnieber, Martha

    المصدر: 2023 IEEE International Symposium on Smart Electronic Systems (iSES) ISES Smart Electronic Systems (iSES), 2023 IEEE International Symposium on. :1-3 Dec, 2023

    Relation: 2023 IEEE International Symposium on Smart Electronic Systems (iSES)

    Full Text Finder
    أضف إلى المفضلة
  9. 9
    دورية أكاديمية
    A Recursive Framework for Evaluating Moments Using Zero-Suppressed Binary Decision Diagrams

    المؤلفون: Lim, B.G., Tan, R.R., Kawahara, J., Minato, S., Ikeda, K.

    المصدر: IEEE Access Access, IEEE. 12:91886-91895 2024

    Full Text Finder
    أضف إلى المفضلة
  10. 10
    مؤتمر
    Binary Decision Diagrams on Modern Hardware

    المؤلفون: Pastva, Samuel, Henzinger, Thomas

    المصدر: 2023 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2023. :122-131 Oct, 2023

    Relation: 2023 Formal Methods in Computer-Aided Design (FMCAD)

    Full Text Finder
    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء