يعرض 1 - 10 نتائج من 4,220 نتيجة بحث عن '"bdd"', وقت الاستعلام: 1.07s تنقيح النتائج
  1. 1
    مؤتمر
    A Low-Area and Low-Power Architecture for Soft-Assisted Product Decoder

    المؤلفون: Li, Chen, Song, Suwen, Wang, Zhongfeng

    المصدر: 2024 5th Information Communication Technologies Conference (ICTC) Information Communication Technologies Conference (ICTC), 2024 5th. :280-284 May, 2024

    Relation: 2024 5th Information Communication Technologies Conference (ICTC)

    أضف إلى المفضلة
  2. 2
    دورية أكاديمية
    Dynamic Reconfiguration for Resilient State Estimation Against Cyber Attacks

    المؤلفون: Callenes, J., Poshtan, M.

    المصدر: IEEE Transactions on Emerging Topics in Computing IEEE Trans. Emerg. Topics Comput. Emerging Topics in Computing, IEEE Transactions on. 12(2):559-571 Jun, 2024

    Full Text Finder
    أضف إلى المفضلة
  3. 3
    مؤتمر
    Complete and Efficient Verification for a RISC-V Processor Using Formal Verification

    المؤلفون: Weingarten, Lennart, Datta, Kamalika, Kole, Abhoy, Drechsler, Rolf

    المصدر: 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) Design, Automation & Test in Europe Conference & Exhibition (DATE), 2024. :1-6 Mar, 2024

    Relation: 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)

    Full Text Finder
    أضف إلى المفضلة
  4. 4
    مؤتمر
    Polynomial Formal Verification of Sequential Circuits

    المؤلفون: Dominik, Caroline, Drechsler, Rolf

    المصدر: 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) Design, Automation & Test in Europe Conference & Exhibition (DATE), 2024. :1-6 Mar, 2024

    Relation: 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)

    Full Text Finder
    أضف إلى المفضلة
  5. 5
    مؤتمر
    An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing

    المؤلفون: Zameni, Tannaz, van den Bos, Petra, Rensink, Arend, Tretmans, Jan

    المصدر: 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C) SANER-C Software Analysis, Evolution and Reengineering - Companion (SANER-C), 2024 IEEE International Conference on. :199-206 Mar, 2024

    Relation: 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C)

    أضف إلى المفضلة
  6. 6
    دورية أكاديمية
    Cooperative Operation of the Fleet Operator and Incentive-Aware Customers in an On-Demand Delivery System: A Bilevel Approach

    المؤلفون: Yao, C., Chen, S., Yang, Z.

    المصدر: IEEE Internet of Things Journal IEEE Internet Things J. Internet of Things Journal, IEEE. 11(6):9668-9680 Mar, 2024

    Full Text Finder
    أضف إلى المفضلة
  7. 7
    دورية أكاديمية
    EMYNet-BDD: EfficientViTB Meets Yolov8 in the Encoder–Decoder Architecture for Building Damage Detection Using Postevent Remote Sensing Images

    المؤلفون: Gomroki, M., Hasanlou, M., Chanussot, J., Hong, D.

    المصدر: IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing IEEE J. Sel. Top. Appl. Earth Observations Remote Sensing Selected Topics in Applied Earth Observations and Remote Sensing, IEEE Journal of. 17:13120-13134 2024

    Full Text Finder
    أضف إلى المفضلة
  8. 8
    دورية أكاديمية
    Topology Error Monitoring Using Bad Data Detection Methods

    المؤلفون: Crawford, K., Baran, M.E.

    المصدر: IEEE Transactions on Industry Applications IEEE Trans. on Ind. Applicat. Industry Applications, IEEE Transactions on. 60(1):1476-1483 Jan, 2024

    Full Text Finder
    أضف إلى المفضلة
  9. 9
    مؤتمر
    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
    أضف إلى المفضلة
  10. 10
    مؤتمر
    Towards Formal Verification of Behaviour-Driven Development Scenarios Using Timed Automata

    المؤلفون: Kang, Eun-Young, Silva, Thiago Rocha

    المصدر: 2023 30th Asia-Pacific Software Engineering Conference (APSEC) APSEC Software Engineering Conference (APSEC), 2023 30th Asia-Pacific. :612-616 Dec, 2023

    Relation: 2023 30th Asia-Pacific Software Engineering Conference (APSEC)

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