يعرض 1 - 10 نتائج من 6,355 نتيجة بحث عن '"smt"', وقت الاستعلام: 0.87s تنقيح النتائج
  1. 1
    مؤتمر
    Automated Verification of Silq Quantum Programs using SMT Solvers

    المؤلفون: Lewis, Marco, Zuliani, Paolo, Soudjani, Sadegh

    المصدر: 2024 IEEE International Conference on Quantum Software (QSW) QSW Quantum Software (QSW), 2024 IEEE International Conference on. :125-134 Jul, 2024

    Relation: 2024 IEEE International Conference on Quantum Software (QSW)

    أضف إلى المفضلة
  2. 2
    مؤتمر
    A predictive methodology for BGA solder joint formation and assembly defects

    المؤلفون: Bond, Matt, Ahmad, Mudasir, Teng, Sue, Shahidi, Nima, Kim, Jin, Tang, Yingshi

    المصدر: 2024 IEEE 74th Electronic Components and Technology Conference (ECTC) ECTC Electronic Components and Technology Conference (ECTC), 2024 IEEE 74th. :1558-1563 May, 2024

    Relation: 2024 IEEE 74th Electronic Components and Technology Conference (ECTC)

    Full Text Finder
    أضف إلى المفضلة
  3. 3
    مؤتمر
    Large package body size scaling with two novel technologies: Multi Ball BGA and Liquid Metal Interconnect

    المؤلفون: Lu, Xiao, Wu, Jiaqi, Lee, Sangeon, Meyyappan, Karumbu

    المصدر: 2024 IEEE 74th Electronic Components and Technology Conference (ECTC) ECTC Electronic Components and Technology Conference (ECTC), 2024 IEEE 74th. :1293-1297 May, 2024

    Relation: 2024 IEEE 74th Electronic Components and Technology Conference (ECTC)

    Full Text Finder
    أضف إلى المفضلة
  4. 4
    مؤتمر
    Research on Super-Resolution Processing of Improved RCAN on SMT Blurred Images

    المؤلفون: Huang, Zhencong

    المصدر: 2024 7th International Conference on Artificial Intelligence and Big Data (ICAIBD) Artificial Intelligence and Big Data (ICAIBD), 2024 7th International Conference on. :478-483 May, 2024

    Relation: 2024 7th International Conference on Artificial Intelligence and Big Data (ICAIBD)

    Full Text Finder
    أضف إلى المفضلة
  5. 5
    مؤتمر
    AI-Driven Automation for Optimal Edge Cluster Network Management

    المؤلفون: Mbacke Babou, Cheikh Saliou, Owada, Yasunori, Inoue, Masugi, Takizawa, Kenichi, Kuri, Toshiaki

    المصدر: IEEE INFOCOM 2024 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS) Computer Communications Workshops (INFOCOM WKSHPS), IEEE INFOCOM 2024 - IEEE Conference on. :1-6 May, 2024

    Relation: IEEE INFOCOM 2024 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS)

    Full Text Finder
    أضف إلى المفضلة
  6. 6
    مؤتمر
    Inferring the Overall Difficulty of Isomorphic Questions

    المؤلفون: O'Callahan, Bickio, Ye, Xinfeng, Manoharan, Sathiamoorthy

    المصدر: 2024 47th MIPRO ICT and Electronics Convention (MIPRO) MIPRO ICT and Electronics Convention (MIPRO), 2024 47th. :1329-1332 May, 2024

    Relation: 2024 47th MIPRO ICT and Electronics Convention (MIPRO)

    Full Text Finder
    أضف إلى المفضلة
  7. 7
    مؤتمر
    Scalable Verification of Zero-Knowledge Protocols

    المؤلفون: Isabel, Miguel, Rodriguez-Nunez, Clara, Rubio, Albert

    المصدر: 2024 IEEE Symposium on Security and Privacy (SP) SP Symposium on Security and Privacy (SP), 2024 IEEE. :1794-1812 May, 2024

    Relation: 2024 IEEE Symposium on Security and Privacy (SP)

    Full Text Finder
    أضف إلى المفضلة
  8. 8
    مؤتمر
    DNA: DC Nodal Analysis Attack for Analog Circuits

    المؤلفون: Rao, Vaibhav Venugopal, Juretus, Kyle, Savidis, Ioannis

    المصدر: 2024 IEEE International Symposium on Circuits and Systems (ISCAS) Circuits and Systems (ISCAS), 2024 IEEE International Symposium on. :1-5 May, 2024

    Relation: 2024 IEEE International Symposium on Circuits and Systems (ISCAS)

    Full Text Finder
    أضف إلى المفضلة
  9. 9
    مؤتمر
    Synchrophasor Technology Applications and Optimal Placement of Micro-Phasor Measurement Unit (μPMU): Part I

    المؤلفون: Meydani, Amir, Shahinzadeh, Hossein, Nafisi, Hamed, Gharehpetian, Gevork B.

    المصدر: 2024 28th International Electrical Power Distribution Conference (EPDC) Electrical Power Distribution Conference (EPDC), 2024 28th International. :1-18 Apr, 2024

    Relation: 2024 28th International Electrical Power Distribution Conference (EPDC)

    Full Text Finder
    أضف إلى المفضلة
  10. 10
    مؤتمر
    Deep Combination of CDCl(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory

    المؤلفون: Zhang, Xindi, Li, Bohan, Cai, Shaowei

    المصدر: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2024 IEEE/ACM 46th International Conference on. :1534-1546 Apr, 2024

    Relation: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE)

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