Resultados de búsqueda - "Computer software Verification"

Certified Synthesis for Interactive Media: High Assurance Metroidvania Generation por Mawhorter, Ross Edward

Citation/Abstract
Full Text - PDF

A Technique to Support Incremental Construction and Verification in Component-Based Software Development por PDF

Citation/Abstract
Full Text - PDF

Verifiable measurement-based quantum random sampling with trapped ions

Citation/Abstract
Full Text - PDF

A BUILT-UP AND TEST OF MIR SYSTEM OF SHARING VERIFICATION SOFTWARE APPLIED IN MUSIC EDUCATION por Lee, Kuo-Ying

Citation/Abstract
Full Text
Full Text - PDF

Construction of the Learner-Centered Teaching College English Teaching Mode Under Big Data Technology por Bai, Ge

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text + Graphics
Full Text - PDF

Scaling Deductive Verification for Real-World Cloud Data Security por Li, Xupeng

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text + Graphics
Full Text - PDF

Real-Time Monitoring of LTL Properties in Distributed Stream Processing Applications por Aladib, Loay

Citation/Abstract
Full Text + Graphics
Full Text - PDF

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

Citation/Abstract
Full Text
Full Text - PDF

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

Citation/Abstract
Full Text + Graphics
Full Text - PDF

Digitally-Driven Surgical Guide for Alveoloplasty Prior to Immediate Denture Placement por Badr Zaid

Citation/Abstract
Full Text + Graphics
Full Text - PDF

Simulation-Based Assessment of Evacuation Efficiency in Sports Stadiums: Insights from Case Studies por Yang Chieh-Hsiung

Citation/Abstract
Full Text + Graphics
Full Text - PDF

Acer Swift 16 AI: A big, beautiful OLED laptop por Hachman, Mark

Citation/Abstract
Full Text
Full Text - PDF

Icing on the Cake: Automatic Code Summarization at Ericsson por Sridhara, Giriprasad

Citation/Abstract
Full text outside of ProQuest

CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph por Xu, Hanxiang

Citation/Abstract
Full text outside of ProQuest

Software Engineering Methods For AI-Driven Deductive Legal Reasoning por Padhye, Rohan

Citation/Abstract
Full text outside of ProQuest

Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches por Braberman, Víctor A

Citation/Abstract
Full text outside of ProQuest

Customizing Static Analysis using Codesearch por Hayoun, Avi

Citation/Abstract
Full text outside of ProQuest

Towards Classical Software Verification using Quantum Computers por Issel, Sebastian

Citation/Abstract
Full text outside of ProQuest