Rezultati - "Program verification (computers)"

Limitar resultados
  1. Slika na naslovnici

    Auto-Active Relational Verification and Alignment Completeness od Nagasamudram, Ramana

    Citation/Abstract
    Full Text - PDF
    Dodaj v priljubljene
    Shranjeno v:
  2. Slika na naslovnici

    Applied Implicit Computational Complexity od Rusch, Neea

    Citation/Abstract
    Full Text - PDF
    Dodaj v priljubljene
    Shranjeno v:
  3. Slika na naslovnici

    Probabilistic Separation Logics for Randomized Algorithms od Bao, Jialu

    Citation/Abstract
    Full Text - PDF
    Dodaj v priljubljene
    Shranjeno v:
  4. Slika na naslovnici

    A Unified Framework for Automated Testing of Robotic Process Automation Workflows Using Symbolic and Concolic Analysis † od Paduraru Ciprian

    izdano v Machines (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Dodaj v priljubljene
    Shranjeno v:
  5. Slika na naslovnici

    Scalable Verification With Applications to Hardware Security od Dinesh, Sushant

    Citation/Abstract
    Full Text - PDF
    Dodaj v priljubljene
    Shranjeno v:
  6. Slika na naslovnici

    Implementation Efficiency of Falcon Digital Signature Scheme on Arty-7 XC7A35T Board od Tat-Thang, Nguyen

    izdano v Electronics (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Dodaj v priljubljene
    Shranjeno v:
  7. Slika na naslovnici

    A metaverse-based virtual reality platform for online certification using Web3 od Razzaq, Abdul

    izdano v PLoS One (Aug 2025)
    Citation/Abstract
    Full Text
    Full Text - PDF
    Dodaj v priljubljene
    Shranjeno v:
  8. Slika na naslovnici

    Advancing Politeness and Assertive Communication Through Tone of Voice in Crisis Team Situations: Pre-Post Acoustic Analysis Study of Team and Strategies to Enhance Performance and... od Jitwiriyanont, Sujinat

    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Dodaj v priljubljene
    Shranjeno v:
  9. Slika na naslovnici

    A Web-based Framework for Unified Channel Access and Data Integrity in Smart Electricity Billing od Hong, Huawei

    izdano v Journal of Web Engineering (2025)
    Citation/Abstract
    Full Text
    Full Text - PDF
    Dodaj v priljubljene
    Shranjeno v:
  10. Slika na naslovnici

    Poland’s experience on the integration of Ukrainian health workers: valuable learnings for Europe od Klencki, M

    izdano v European Journal of Public Health (Oct 2025)
    Citation/Abstract
    Full Text - PDF
    Dodaj v priljubljene
    Shranjeno v:
  11. Slika na naslovnici

    Formal Verification of Transcompiled Mobile Applications Using First-Order Logic od Muhammad Ahmad Ahmad

    izdano v Technologies (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Dodaj v priljubljene
    Shranjeno v:
  12. Slika na naslovnici

    Integrating network pharmacology and experimental verification to reveal the ferroptosis-associated mechanism of Changpu-Yizhi-Wan in the treatment of Alzheimer's disease

    izdano v Metabolic Brain Disease (Jan 2025)
    Citation/Abstract
    Full Text - PDF
    Dodaj v priljubljene
    Shranjeno v:
  13. Slika na naslovnici

    Innovative Strategies for Designing Ideological and Political Courses in the AI-Driven Communication Era od Xing, Guohui

    Citation/Abstract
    Full Text - PDF
    Dodaj v priljubljene
    Shranjeno v:
  14. Slika na naslovnici

    Design and Evaluation of a Biometric IoT-Based Smart Lock System with Real-Time Monitoring and Alert Mechanisms od PDF

    Citation/Abstract
    Full Text - PDF
    Dodaj v priljubljene
    Shranjeno v:
  15. Slika na naslovnici

    Dual-Mode PID Control for Automotive Resolver Angle Compensation Based on a Fuzzy Self-Tuning Divide-and-Conquer Framework od Zeng Xin

    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Dodaj v priljubljene
    Shranjeno v:
  16. Slika na naslovnici

    JOB: SW System Software Verification (PSV) At Capgemini In Hyderabad

    izdano v Electronics for You (Aug 19, 2025)
    Citation
    Full Text
    Dodaj v priljubljene
    Shranjeno v:
  17. Slika na naslovnici

    Towards Classical Software Verification using Quantum Computers od Issel, Sebastian

    izdano v arXiv.org (Apr 29, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Dodaj v priljubljene
    Shranjeno v:
  18. Slika na naslovnici

    C Analyzer : A Static Program Analysis Tool for C Programs od Solanki, Rajendra Kumar

    izdano v arXiv.org (Jan 28, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Dodaj v priljubljene
    Shranjeno v:
  19. Slika na naslovnici

    Scaling Symbolic Execution to Large Software Systems od Horvath, Gabor

    izdano v arXiv.org (Aug 4, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Dodaj v priljubljene
    Shranjeno v:
  20. Slika na naslovnici

    Boson Sampling with Gaussian input states: toward efficient scaling and certification od Abrahao, Raphael A

    izdano v arXiv.org (Nov 13, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Dodaj v priljubljene
    Shranjeno v:

Iskalna orodja: